Markus Mueller edd94f5fcd mcrl2: 201409 -> 201707		2017-09-08 18:26:25 +02:00
..
abc
abella
acgtk	acgtk: fix homepage url	2017-08-17 15:04:37 -07:00
alt-ergo
aspino
boolector
coq	coq_8_7: init at 8.7+beta1	2017-09-06 21:16:41 +02:00
coq2html
cryptominisat
cryptoverif
cubicle
cvc3	cvc3: Add gcc6 patch from Gentoo.	2017-08-29 13:48:09 -05:00
cvc4
ekrhyper
eprover	eprover: 1.9.1 -> 2.0	2017-09-05 13:59:07 +02:00
gappa
glucose
hol
hol_light
iprover
isabelle
jonprl
lci
lean
lean2	meson/ninja: add setup hooks (#28444)	2017-08-27 19:42:21 +02:00
leo2
logisim
ltl2ba
matita
mcrl2	mcrl2: 201409 -> 201707	2017-09-08 18:26:25 +02:00
metis-prover
minisat
open-wbo	open-wbo: init at 2.0	2017-08-20 10:19:46 +02:00
opensmt
ott
otter
picosat
poly	libpoly: 0.1.3 -> 0.1.4	2017-08-27 10:10:47 -05:00
prooftree
prover9
proverif
redprl
sad
satallax
saw-tools
spass
statverif
stp
tptp
twelf
verifast
verit
why3
yices	yices: now under GPLv3	2017-09-02 04:19:11 -05:00
z3	use https://github.com for all homepages	2017-08-17 14:53:40 -07:00