3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science/logic
2014-08-22 11:57:40 +02:00
..
abc
alt-ergo
boolector
coq coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590 2014-08-16 00:13:15 -05:00
cvc3
ekrhyper
eprover
hol
hol_light
iprover
isabelle
lci
leo2 Update and fix LEO2 prover 2014-08-12 03:57:52 +04:00
logisim
ltl2ba
matita
minisat
opensmt Mark a bunch of packages as broken or not supported on Darwin 2014-08-08 17:59:02 +02:00
otter
picosat
prooftree
prover9
satallax
spass
ssreflect ssreflect: 1.4 -> 1.5 2014-08-19 16:03:33 -05:00
stp
tptp
twelf
verifast Fix various evaluation problems 2014-08-22 11:57:40 +02:00
why3
yices Fix various evaluation problems 2014-08-22 11:57:40 +02:00
z3