Weijia Wang c00ddaf144 aspino: remove patchShebangs		2022-11-25 16:48:27 +01:00
..
abc	abc-verifier: 2022.07.27 -> unstable-2022-09-08	2022-10-14 19:27:01 -05:00
abella
acgtk
aiger
alt-ergo
anders
aspino	aspino: remove patchShebangs	2022-11-25 16:48:27 +01:00
avy	avy: fix build on aarch64-linux	2022-11-25 16:48:03 +01:00
beluga	ocamlPackages.extlib: rename from ocaml_extlib	2022-11-16 14:30:37 +01:00
bitwuzla
boolector
btor2tools
cadical
cbmc	cbmc: 5.69.1 -> 5.70.0	2022-11-11 18:08:36 +08:00
cedille
celf
clprover
coq
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
cvc5
drat-trim
easycrypt
ekrhyper
elan
eprover
fast-downward
formula
gappa
glucose	glucose: fix build on aarch64-linux	2022-11-25 16:48:03 +01:00
hol
hol_light
iprover
isabelle
key
kissat
klee
lci
lean	lean: 3.48.0 -> 3.49.0	2022-11-11 17:33:01 -03:00
lean2
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat
naproche
nusmv	nusmv: init at 2.6.0	2022-10-16 18:21:19 +02:00
nuXmv
open-wbo
opensmt	opensmt: 2.4.2 -> 2.4.3	2022-11-22 20:15:56 +00:00
ott
petrinizer
picosat
poly
potassco	clingo: 5.6.1 -> 5.6.2	2022-11-07 17:55:20 +00:00
prooftree
prover9
proverif
redprl
sad
satallax
saw-tools
spass
statverif
stp
surelog	surelog: 1.40 -> 1.45	2022-11-08 12:47:27 -08:00
symbiyosys
symfpu
tamarin-prover
tlaplus
tptp
twelf
uhdm	uhdm: 0.9.1.40 -> 1.45	2022-11-08 12:47:14 -08:00
vampire
verifast
verit
why3
workcraft
yices
z3
zchaff