nixpkgs / cvc4 - A high-performance theorem prover and SMT solver

Homepage - http://cvc4.cs.stanford.edu/web/

License - GPL-3.0

Maintainers - Vincent Laporte - Austin Seipp - Gabriel Ebner

Releases

1.8 (expand/collapse)
From commit 06749ba3 to 00460bd6
1.6 (expand/collapse)
From commit 05fe6112 to 05fe6112
1.8 (expand/collapse)
From commit 066544a7 to 0096eb92
1.6 (expand/collapse)
From commit 05a16be9 to 05a16be9
1.8 (expand/collapse)
From commit 0684065e to 0456d939
1.6 (expand/collapse)
From commit 07076e9f to 031cc88a
1.8 (expand/collapse)
From commit 0361a0e9 to 0410f5df
1.6 (expand/collapse)
From commit 0513a912 to 0513a912
1.8 (expand/collapse)
From commit 03d23636 to 03d23636
1.6 (expand/collapse)
From commit 0607adde to 026b4eb3
1.5 (expand/collapse)
From commit 02a3726a to 02a3726a
1.6 (expand/collapse)
From commit 075e4883 to 0111c7d8
1.5pre-smtcomp2016 (expand/collapse)
From commit 044ceae2 to 044ceae2
1.6 (expand/collapse)
From commit 00ab5c5b to 0560caa5
1.5 (expand/collapse)
From commit 016922f8 to 016922f8
1.6 (expand/collapse)
From commit 02f70536 to 06b42906
1.5 (expand/collapse)
From commit 05bc5fed to 05bc5fed
1.6 (expand/collapse)
From commit 015d1380 to 027d52ff
1.5 (expand/collapse)
From commit 05ca6710 to 05ca6710
1.6 (expand/collapse)
From commit 078925c9 to 03476783
1.5 (expand/collapse)
From commit 0364cf66 to 07db547c
2017-05-18 (expand/collapse)
From commit 05b90907 to 05f9a366
1.5 (expand/collapse)
From commit 03022323 to 03022323
2017-05-18 (expand/collapse)
From commit 03bcadd4 to 01a7d703
1.5 (expand/collapse)
From commit 0711fe96 to 0711fe96
2017-05-18 (expand/collapse)
From commit 05a1a2a2 to 01d7bb6d
1.5pre-smtcomp2016 (expand/collapse)
From commit 0641253a to 0641253a
2017-05-18 (expand/collapse)
From commit 05f5a91a to 0040dbaf
1.5pre-smtcomp2016 (expand/collapse)
From commit 0761b0bc to 029125b9
1.4 (expand/collapse)
From commit 06e16f00 to 06e16f00
1.5pre-smtcomp2016 (expand/collapse)
From commit 071b57ba to 000fb9be
1.4 (expand/collapse)
From commit 04403e4c to 04403e4c
1.5pre-smtcomp2016 (expand/collapse)
From commit 037fc40b to 00b05d47
1.4 (expand/collapse)
From commit 06d020fe to 04b30b23