chalmers-lava2000: Hardware description EDSL

[ bsd3, hardware, language, library ] [ Propose Tags ]

For more info, see the tutorial:

[Skip to Readme]
Versions [RSS] [faq] 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 BSD-3-Clause
Copyright 2008-2016 Koen Claessen, Emil Axelsson 2000-2008 Koen Claessen
Author Koen Claessen <>
Maintainer Emil Axelsson <>
Category Language, Hardware
Home page
Source repo head: darcs get
Uploaded by EmilAxelsson at 2016-05-19T11:47:12Z
Distributions NixOS:1.6.1
Downloads 9100 total (60 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2016-11-05 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees


Readme for chalmers-lava2000-1.6.1

[back to package description]
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