nixpkgs/pkgs/applications/science/logic
2018-08-22 01:14:53 +02:00
..
abc
abella
acgtk
aiger Revert "treewide: fixup breakage due to absolute compiler path" 2018-08-22 01:14:53 +02:00
alt-ergo
aspino
avy
beluga
boolector boolector: 2.4.1 -> 3.0.0, relicensed to MIT 2018-08-15 20:44:05 -05:00
btor2tools btor2tools: init at pre55_8c150b39 2018-08-15 20:44:05 -05:00
celf
coq
coq2html
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
drat-trim
ekrhyper
elan
eprover
gappa
glucose
hol
hol_light
iprover
isabelle
jonprl
lci
lean
lean2
leo2
lingeling lingeling: init at pre1_03b4860d 2018-08-15 20:44:05 -05:00
logisim
ltl2ba
matita
mcrl2
metis-prover
minisat
monosat
open-wbo
opensmt
ott
otter
picosat
poly
potassco
prooftree
prover9
proverif
redprl
sad sad: fix build 2018-08-09 22:13:44 +02:00
sapic
satallax
saw-tools
spass
statverif
stp
symbiyosys symbiyosys: 2018.05.03 -> 2018.07.26 2018-08-08 19:49:42 -05:00
tamarin-prover
tlaplus
tptp
twelf
vampire
verifast
verit Revert "treewide: fixup breakage due to absolute compiler path" 2018-08-22 01:14:53 +02:00
why3
workcraft
yices
z3