Marco 3af4c7065d Update HOL Light to svn r232 (2015-05-31)		2015-06-03 11:17:39 +02:00
..
abc
abella
acgtk
alt-ergo
boolector
coq
cvc3
cvc4
ekrhyper
eprover
gappa	Adds gappa 1.2.0	2015-05-25 19:32:09 +02:00
hol
hol_light	Update HOL Light to svn r232 (2015-05-31)	2015-06-03 11:17:39 +02:00
iprover
isabelle
lci	Don't use "with licenses;" for single licences	2015-05-28 19:20:29 +02:00
lean
leo2
logisim
ltl2ba
matita
minisat
opensmt
ott
otter
picosat
prooftree
prover9
satallax
spass
stp	Don't use "with licenses;" for single licences	2015-05-28 19:20:29 +02:00
tptp
twelf
verifast
verit
why3	why3: update from 0.85 to 0.86.1	2015-06-01 05:57:19 +02:00
yices
z3
z3_opt