nixpkgs / cvc3 - A prover for satisfiability modulo theory (SMT)

Homepage - http://www.cs.nyu.edu/acsys/cvc3/index.html

Maintainers - Michael Raskin

Releases

2.4.1 (expand/collapse)
From commit 04802949 to 00460bd6
2.2 (expand/collapse)
From commit 01b0d1c9 to 01b0d1c9
2.4.1 (expand/collapse)
From commit 05288d3a to 00eaf038
2.2 (expand/collapse)
From commit 011d71dc to 01a474bc