The chalmers-lava2000 package

[Tags: bsd3, library]

For more info, see the tutorial:

[Skip to ReadMe]


Versions1.0, 1.0.1, 1.0.2, 1.1.0, 1.1.1, 1.1.2, 1.2.0, 1.3, 1.4.1, 1.5, 1.5.1, 1.6
Change logNone available
Dependenciesarray, base (>=3 && <5), process (==1.*), random [details]
Copyright2008 Koen Claessen, 2008-2015 Emil Axelsson
AuthorKoen Claessen <>
MaintainerEmil Axelsson <>
CategoryLanguage, Hardware
Home page
Source repositoryhead: darcs get
UploadedFri Nov 6 12:38:23 UTC 2015 by EmilAxelsson
DistributionsFedora:1.4.1, NixOS:1.6
Downloads2143 total (22 in last 30 days)
0 []
StatusDocs available [build log]
Last success reported on 2015-11-06 [all 1 reports]




Maintainers' corner

For package maintainers and hackage trustees

Readme for chalmers-lava2000-1.6

To get verification working (on Linux), set the variables Lava2000_SMV and Lava2000_Satzoo to point to the binaries of the respective provers.

Also make sure that the scripts smv.wrapper and satzoo.wrapper are executable. These scripts are possibly located in