Aleksana 05b03a54b0 lean4: 4.9.0 -> 4.9.1 (#331445)		2024-09-19 17:06:09 +08:00
..
abc
abella
acgtk
aiger
alt-ergo
anders
aspino
avy
beluga
bitwuzla
boolector
btor2tools	btor2tools: run update-nix-fetchgit. Remove unnecessary patch	2024-08-22 18:45:11 -05:00
cadical
cbmc
cedille
celf
clprover
coq	coqPackages.coq: 8.20+rc1 -> 8.20.0	2024-09-04 16:01:47 +02:00
cryptominisat
cryptoverif	cryptoverif: 2.09 -> 2.10	2024-08-24 16:32:43 -05:00
cubicle
cvc3
cvc4
cvc5	cvc5: enable tests	2024-08-18 14:56:37 +01:00
dafny
drat-trim
easycrypt
egglog
ekrhyper
elan	elan: 3.1.1 -> 3.1.1-unstable-2024-08-02	2024-08-22 00:25:50 +02:00
eprover
fast-downward
formula
gappa
glucose
hol
hol_light
iprover
key
kissat
klee
lci
lean
lean2
lean4	lean4: 4.9.0 -> 4.9.1 (#331445)	2024-09-19 17:06:09 +08:00
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2
mcy	treewide: buildPhase="true" -> dontBuild=true	2024-08-23 12:21:08 +02:00
metis-prover
minisat
monosat	monosat: remove 'with lib;'	2024-08-16 16:09:03 +02:00
msat
netlistsvg
nusmv	nusmv: fix homepage URL	2024-09-13 14:13:49 +00:00
nuXmv
open-wbo
opensmt
ott
picosat
poly
potassco
prooftree
prover9
proverif
redprl
satallax
saw-tools
sharpsat-td
spass
statverif
stp
surelog
symfpu
tamarin-prover
tlaplus
tptp
twelf
uhdm
vampire
verifast	verifast: 21.04 -> 24.08.30	2024-09-03 05:02:45 +00:00
verit
why3
workcraft	workcraft: 3.5.0 -> 3.5.1	2024-09-02 16:25:47 +00:00
yices
z3	z3: remove 'with lib;'	2024-08-16 16:09:03 +02:00
zchaff