Michael Raskin 3ed321dfab z3: enable build on non-x86_64 unix; checked the build on aarch64-linux		2020-11-27 11:52:07 +01:00
..
abc
abella
acgtk
aiger
alt-ergo	alt-ergo: 2.3.2 → 2.3.3	2020-08-29 06:21:23 +02:00
aspino
avy	avy: 2017.10.16 -> 2019.05.01	2020-09-20 16:13:29 +02:00
beluga
boolector
btor2tools	btor2tools: enable unix platforms	2020-10-16 19:39:46 +02:00
cadical
cedille
celf
clprover
coq	coq_8_12: 8.12.0 → 8.12.1	2020-11-15 12:03:15 +01:00
coq2html	treewide: remove package names from prefix of descriptions	2020-10-27 09:15:07 -07:00
cryptominisat
cryptoverif	cryptoverif: 2.01pl1 → 2.03pl1	2020-10-23 10:20:09 +02:00
cubicle
cvc3	cvc3: enable for darwin	2020-09-22 23:06:45 -07:00
cvc4
drat-trim
ekrhyper
elan
eprover
fast-downward
gappa
glucose
hol
hol_light
iprover
isabelle
jonprl
key	key: init at 2.6.3	2020-10-06 17:37:23 +02:00
lci
lean	lean: 3.21.0 -> 3.23.0	2020-11-11 15:16:44 -08:00
lean2
leo2
leo3	leo3: fix executable	2020-09-19 15:05:02 +02:00
lingeling
logisim
ltl2ba
mcrl2
mcy	mcy: 2020.07.06 -> 2020.08.03	2020-08-23 11:01:24 -05:00
metis-prover
minisat
monosat
open-wbo
opensmt
ott	treewide: remove package names from prefix of descriptions	2020-10-27 09:15:07 -07:00
otter
petrinizer
picosat
poly
potassco	treewide: simplify rev/repo arguments in src	2020-11-01 23:02:24 -08:00
prooftree
prover9
proverif	proverif: 2.01 → 2.02pl1	2020-09-07 09:54:54 +02:00
redprl
sad
satallax
saw-tools
spass
statverif
stp
symbiyosys	symbiyosys: 2020.07.03 -> 2020.08.22	2020-08-23 11:01:24 -05:00
tamarin-prover	tamarin-prover: 1.4.1 → 1.6.0 (#100148)	2020-10-13 10:16:11 +02:00
tlaplus	tlaplus: remove myself from maintainers list	2020-09-09 10:40:46 -05:00
tptp
twelf
vampire
verifast
verit
why3	why3: 1.3.1 -> 1.3.3	2020-09-23 03:24:02 +02:00
workcraft	workcraft: 3.3.1 -> 3.3.2	2020-11-27 01:53:34 +00:00
yices
z3	z3: enable build on non-x86_64 unix; checked the build on aarch64-linux	2020-11-27 11:52:07 +01:00