Arseniy Seroka f63db297d6 Merge pull request #12519 from gebner/metis-20160102 ... metis-prover: 2.3.20160101 -> 2.3.20160102		2016-01-21 18:39:57 +03:00
..
abc
abella
acgtk
alt-ergo	alt-ergo: also supported on Darwin	2016-01-04 17:17:44 +01:00
boolector
coq
cvc3
cvc4
ekrhyper
eprover
gappa
hol
hol_light
iprover
isabelle
jonprl
lci
lean	lean: add wrapper for linja	2016-01-17 09:29:18 +01:00
leo2
logisim
ltl2ba
matita
metis-prover	metis-prover: 2.3.20160101 -> 2.3.20160102	2016-01-21 11:26:10 +01:00
minisat
opensmt
ott
otter
picosat
prooftree
prover9
sad
satallax
saw-tools
spass
stp
tptp
twelf
verifast
verit
why3
yices
z3	z3: 4.4.0 -> 4.4.1	2016-01-21 13:27:12 +01:00
z3_opt