nixpkgs/pkgs/applications/science/logic
2018-01-17 05:17:33 +00:00
..
abc
abella
acgtk ocamlPackages.cairo2: 0.4.6 -> 0.5 2017-12-16 12:14:35 +01:00
aiger
alt-ergo
aspino
avy
boolector
coq Merge pull request #26805 from obsidiansystems/cross-elegant 2017-12-30 22:58:02 -05:00
coq2html
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
drat-trim drat-trim: fix build on darwin 2017-12-17 13:19:34 +00:00
ekrhyper
eprover
gappa
glucose glucose-syrup: Remove unused fetchurl argument 2017-12-01 21:13:21 -08:00
hol
hol_light
iprover
isabelle
jonprl
lci
lean
lean2
leo2
logisim
ltl2ba
matita
mcrl2
metis-prover
minisat
open-wbo
opensmt
ott ott: 0.25 -> 0.27 2017-12-10 11:49:05 +00:00
otter
picosat
poly
potassco clingo: init at 5.2.2 2017-11-10 14:04:32 +01:00
prooftree
prover9
proverif
redprl
sad
sapic nixpkgs: init sapic 0.9 2017-12-30 19:01:29 -06:00
satallax
saw-tools
spass
statverif
stp maintainers: remove mornfall from packages 2018-01-17 05:17:33 +00:00
symbiyosys symbiyosys: 2017.12.06 -> 2018.01.10 2018-01-10 14:00:58 -06:00
tamarin-prover tamarin-prover: enable tests 2017-12-30 19:39:38 -06:00
tptp
twelf
verifast
verit
why3 why3: 0.88.1 -> 0.88.3 2018-01-14 05:51:06 +00:00
yices yices: 2.5.3 -> 2.5.4 2017-11-05 12:49:38 -06:00
z3 z3: 4.5.0-2017-11-06 -> 4.6.0 2018-01-03 21:44:56 -06:00