nixpkgs / alt-ergo - High-performance theorem prover and SMT solver

Homepage - https://alt-ergo.ocamlpro.com/

Maintainers - Austin Seipp

Outputs

out (expand/collapse)

Releases

2.4.1 (expand/collapse)
From commit 00460bd6 to 00460bd6
2.4.0 (expand/collapse)
From commit 039e3758 to 039e3758
2.4.1 (expand/collapse)
From commit 00f7e1e8 to 021410c0
2.4.0 (expand/collapse)
From commit 0757207f to 0757207f
2.4.1 (expand/collapse)
From commit 016b0a42 to 0615bf07
2.4.0 (expand/collapse)
From commit 06c691cf to 06c691cf
2.4.1 (expand/collapse)
From commit 05f24599 to 04e1d248
2.4.0 (expand/collapse)
From commit 06de86a2 to 06004472
2.4.1 (expand/collapse)
From commit 00d05bdc to 00d05bdc
2.4.0 (expand/collapse)
From commit 02c142a2 to 04996832
2.3.3 (expand/collapse)
From commit 074ef76e to 074ef76e
2.4.0 (expand/collapse)
From commit 04855119 to 07557e3b
2.3.3 (expand/collapse)
From commit 065a8102 to 065a8102
2.4.0 (expand/collapse)
From commit 044053e2 to 04de1306
2.3.3 (expand/collapse)
From commit 03582eb6 to 03582eb6
2.4.0 (expand/collapse)
From commit 037e5170 to 062e1e59
2.3.3 (expand/collapse)
From commit 05065605 to 05065605
2.4.0 (expand/collapse)
From commit 04f82b9e to 01dc2d9c
2.3.3 (expand/collapse)
From commit 06749ba3 to 05c001a5
2.3.2 (expand/collapse)
From commit 05fe6112 to 05fe6112
2.3.3 (expand/collapse)
From commit 06f2fd5f to 0096eb92
2.3.2 (expand/collapse)
From commit 00afc855 to 00afc855
2.3.3 (expand/collapse)
From commit 015c5a2b to 07e49512
2.3.2 (expand/collapse)
From commit 00347e95 to 00347e95
2.3.3 (expand/collapse)
From commit 063c756b to 00946dc2
2.3.2 (expand/collapse)
From commit 00d8c11a to 00d8c11a
2.3.3 (expand/collapse)
From commit 04b2a201 to 03197f94
2.3.2 (expand/collapse)
From commit 037e178a to 037e178a
2.3.3 (expand/collapse)
From commit 041bf6e6 to 05ad41de
2.3.2 (expand/collapse)
From commit 04fffd6c to 04fffd6c
2.3.3 (expand/collapse)
From commit 057b30b6 to 03720f1c
2.3.2 (expand/collapse)
From commit 02c5c39c to 00c692e1
2.3.1 (expand/collapse)
From commit 02f392fc to 02f392fc
2.3.2 (expand/collapse)
From commit 076f221a to 076f221a
2.3.1 (expand/collapse)
From commit 054c2113 to 054c2113
2.3.2 (expand/collapse)
From commit 07bc7b97 to 05f3d961
2.3.1 (expand/collapse)
From commit 0669cd72 to 0669cd72
2.3.2 (expand/collapse)
From commit 07e003de to 07e003de
2.3.1 (expand/collapse)
From commit 0288741d to 0195347f
2.3.0 (expand/collapse)
From commit 03f3d67e to 03f3d67e
2.3.1 (expand/collapse)
From commit 06313ad0 to 01c9c9b1
2.3.0 (expand/collapse)
From commit 07bd8938 to 01740090
2.3.1 (expand/collapse)
From commit 066db112 to 037c91b1
2.3.0 (expand/collapse)
From commit 05078b03 to 05078b03
2.3.1 (expand/collapse)
From commit 01914e61 to 06ebdb42
2.3.0 (expand/collapse)
From commit 04cc8385 to 015bb28a
2.2.0 (expand/collapse)
From commit 0045164b to 0045164b
2.3.0 (expand/collapse)
From commit 039087ac to 06fad89b
2.2.0 (expand/collapse)
From commit 0382f5ef to 0382f5ef
2.3.0 (expand/collapse)
From commit 00d6b4cb to 02d3e977
2.2.0 (expand/collapse)
From commit 01cd6cda to 01c8bc86
2.3.0 (expand/collapse)
From commit 04551d26 to 04551d26
2.2.0 (expand/collapse)
From commit 045e1332 to 038b8981
1.30 (expand/collapse)
From commit 02a3726a to 02a3726a
0.99.1 (expand/collapse)
From commit 044ceae2 to 044ceae2
1.30 (expand/collapse)
From commit 05f53b83 to 031083b5
0.99.1 (expand/collapse)
From commit 025555d7 to 025555d7
1.30 (expand/collapse)
From commit 016bec0e to 01fd8672
0.99.1 (expand/collapse)
From commit 025c571f to 025c571f
1.30 (expand/collapse)
From commit 016a194a to 01fef925
0.99.1 (expand/collapse)
From commit 006dceba to 068dad3a
0.95.2 (expand/collapse)
From commit 06e523b7 to 01a48ead
0.99.1 (expand/collapse)
From commit 06fea66e to 06fea66e
0.95.2 (expand/collapse)
From commit 07b80292 to 05f6061d