Gabriel Ebner 0349b05695 veriT: 201410 -> 201506		2015-08-26 09:31:39 +02:00
..
abc
abella
acgtk	acgtk: fix build with OCaml 4.02	2015-06-25 08:55:30 +02:00
alt-ergo
boolector
coq	coq-8.3: fix (needs make 3)	2015-06-25 08:55:31 +02:00
cvc3
cvc4
ekrhyper
eprover	E prover: 1.8 -> 1.9	2015-08-08 21:01:31 +03:00
gappa
hol	hol: k.8 -> k.10, closes #8477	2015-06-24 10:04:54 +02:00
hol_light
iprover
isabelle
lci
lean	nixpkgs: lean 20150328 -> 20150821	2015-08-21 13:57:16 -05:00
leo2
logisim
ltl2ba
matita
minisat
opensmt
ott
otter
picosat
prooftree
prover9
satallax
saw-tools
spass
stp
tptp
twelf
verifast
verit	veriT: 201410 -> 201506	2015-08-26 09:31:39 +02:00
why3
yices
z3
z3_opt