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