nixpkgs/pkgs/applications/science/logic
2015-04-15 07:18:08 +02:00
..
abc nixpkgs: abc-verifier 20140509 -> 20150406 2015-04-06 07:57:27 -05:00
abella
acgtk
alt-ergo
boolector
coq coq: update from 8.4pl5 to 8.4pl6 2015-04-15 07:18:08 +02:00
cvc3
cvc4
ekrhyper
eprover
hol
hol_light
iprover
isabelle
lci
lean nixpkgs: add lean-20150328, a theorem prover. 2015-03-28 01:47:39 -05:00
leo2
logisim
ltl2ba
matita
minisat
opensmt
ott
otter
picosat
prooftree
prover9
satallax
spass
stp
tptp
twelf twelf: fix by actually including the Twelf SML heap image in the package and referencing the SML interpreter so the smlnj package won't be gc'd 2015-03-31 01:11:57 -04:00
verifast
verit Add veriT. 2015-03-31 09:14:38 +02:00
why3
yices
z3 nixpkgs: z3 is now MIT licensed. 2015-03-28 01:04:06 -05:00