nixpkgs-suyu/pkgs/applications/science/logic
2021-11-03 18:23:06 +00:00
..
abc
abella abella: 2.0.6 -> 2.0.7 2021-10-19 13:25:44 -04:00
acgtk
aiger
alt-ergo alt-ergo: 2.4.0 → 2.4.1 2021-10-12 14:41:54 +02:00
aspino
avy
beluga
bitwuzla bitwuzla: init at unstable-2021-07-01 2021-07-25 15:52:25 +02:00
boolector boolector: 3.2.1 -> 3.2.2 2021-07-19 16:11:01 -07:00
btor2tools
cadical cadical: include C++ headers 2021-10-14 15:23:05 -07:00
cedille
celf
clprover
coq coq_8_14: 8.14+rc1 -> 8.14.0 2021-10-15 18:50:05 +02:00
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
drat-trim
ekrhyper
elan elan: 1.3.0 -> 1.3.1 2021-11-03 10:51:13 +01:00
eprover
fast-downward
gappa
glucose
hol
hol_light
iprover
isabelle isabelle: Add desktop entry 2021-07-19 12:04:30 +02:00
jonprl
key
lci
lean lean: 3.34.0 -> 3.35.0 2021-11-01 19:17:17 +01:00
lean2
leo2 leo2: 1.6.2 → 1.7.0 2021-10-14 09:45:49 +02:00
leo3
lingeling
logisim logisim: create desktop entry (#131450) 2021-07-25 17:46:34 -04:00
logisim-evolution logisim-evolution: init at 3.5.0 2021-07-25 19:52:24 +10:00
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat
open-wbo
opensmt opensmt: 2.1.1 -> 2.2.0 2021-11-03 18:03:12 +00:00
ott
otter
petrinizer
picosat
poly libpoly: 0.1.9 -> 0.1.10 2021-07-28 00:31:53 +00:00
potassco treewide: remove meta.version 2021-07-18 00:07:38 +02:00
prooftree
prover9
proverif
redprl
sad
satallax treewide: remove meta.version 2021-07-18 00:07:38 +02:00
saw-tools saw-tools: remove phases 2021-08-03 00:03:41 +02:00
spass
statverif
stp
symbiyosys symbiyosys: 2020.08.22 -> 2021.09.13 2021-09-29 13:14:27 -05:00
tamarin-prover tamarin-prover: 1.6.0 → 1.6.1 2021-10-22 07:38:30 +02:00
tlaplus tlaplusToolbox: deprecate phases 2021-08-16 21:54:44 +02:00
tptp
twelf
vampire
verifast verifast: 19.12 -> 21.04 2021-08-23 07:29:27 +00:00
verit
why3 why3: remove spurious camlp5 dependency 2021-11-01 20:37:57 +01:00
workcraft workcraft: 3.3.2 -> 3.3.5 2021-08-23 08:01:40 +00:00
yices yices: drop symlink hack, avoid ldconfig on linux 2021-10-31 09:08:41 +01:00
z3 treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate 2021-10-13 17:39:37 +00:00