The chalmers-lava2000 package

[Tags:bsd3, library]

Hardware description library

[Skip to Readme]


Versions 1.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, 1.6.1
Dependencies array, base (>=3 && <5), process (==1.*), random [details]
License BSD3
Copyright (c) 2008. Koen Claessen <>
Author Koen Claessen <>
Maintainer Emil Axelsson <>
Category Language, Hardware
Home page
Source repository head: darcs get
Uploaded Fri Apr 20 15:04:32 UTC 2012 by EmilAxelsson
Distributions Fedora:1.6.1, NixOS:1.6.1
Downloads 2735 total (45 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees

Readme for chalmers-lava2000

Readme for chalmers-lava2000-1.2.0

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