3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science/logic
2021-12-23 19:11:17 +01:00
..
abc yosys: 0.10+1 -> 0.11+52, with abc update 2021-12-02 21:48:51 -06:00
abella
acgtk
aiger
alt-ergo
aspino pkgs/applications: rename name to pname&version part 2 2021-11-07 14:53:06 +01:00
avy
beluga
bitwuzla
boolector boolector: add patch fixing build on aarch64-linux 2021-11-13 19:45:51 -06:00
btor2tools
cadical
cedille
celf
clprover
coq coq_8_15: init at 8.15+rc1 2021-12-09 15:46:06 +01:00
cryptominisat
cryptoverif cryptoverif: 2.04 -> 2.05 2021-12-11 10:05:51 +00:00
cubicle
cvc3
cvc4
drat-trim
ekrhyper ekrhyper: refactor 2021-12-21 12:44:01 +01:00
elan elan: set LEAN_CC to stdenv cc 2021-12-19 17:27:10 +01:00
eprover
fast-downward
gappa pkgs/applications: rename name to pname&version part 2 2021-11-07 14:53:06 +01:00
glucose
hol
hol_light pkgs/applications: rename name to pname&version part 2 2021-11-07 14:53:06 +01:00
iprover
isabelle
jonprl
key
kissat
lci
lean lean: 3.34.0 -> 3.35.0 2021-11-01 19:17:17 +01:00
lean2
leo2
leo3
lingeling lingeling: pre1_03b4860d -> pre1_708beb26 2021-11-13 19:45:51 -06:00
logisim
logisim-evolution logisim-evolution: 3.7.1 -> 3.7.2 2021-12-07 12:21:37 +00:00
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat treewide: refactor isi686 && isx86_64 -> isx86 2021-11-20 17:50:41 -08:00
open-wbo pkgs/applications: rename name to pname&version part 2 2021-11-07 14:53:06 +01:00
opensmt opensmt: 2.1.1 -> 2.2.0 2021-11-03 18:03:12 +00:00
ott
otter
petrinizer
picosat
poly
potassco potassco: switch to fetchFromGitHub 2021-12-23 19:11:17 +01:00
prooftree
prover9 fixup! prover9: convert patchPhase to postPatch, cleanup meta 2021-11-09 20:26:04 +01:00
proverif proverif: 2.03 → 2.04 2021-12-09 17:45:15 +01:00
redprl redprl: unstable-2017-03-28 -> unstable-2019-11-04 2021-11-12 19:24:17 -06:00
sad pkgs/applications: rename name to pname&version part 2 2021-11-07 14:53:06 +01:00
satallax
saw-tools
spass
statverif
stp
symbiyosys symbiyosys: 2021.09.13 -> 2021.11.30 2021-12-02 21:48:51 -06:00
tamarin-prover
tlaplus tlaplus: 1.7.0 -> 1.7.1 2021-11-25 10:56:11 +01:00
tptp
twelf
vampire
verifast
verit
why3 why3.withProvers: add dontUnpack 2021-12-12 20:33:14 +01:00
workcraft
yices
z3