3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science/logic
2022-11-25 16:48:27 +01:00
..
abc abc-verifier: 2022.07.27 -> unstable-2022-09-08 2022-10-14 19:27:01 -05:00
abella
acgtk ocamlPackages.cmdliner: default to 1.1 2022-09-18 15:03:10 +02:00
aiger
alt-ergo ocamlPackages.cmdliner: default to 1.1 2022-09-18 15:03:10 +02:00
anders
aspino aspino: remove patchShebangs 2022-11-25 16:48:27 +01:00
avy avy: fix build on aarch64-linux 2022-11-25 16:48:03 +01:00
beluga ocamlPackages.extlib: rename from ocaml_extlib 2022-11-16 14:30:37 +01:00
bitwuzla bitwuzla: unstable-2022-08-07 -> unstable-2022-10-03 2022-10-04 18:14:31 +00:00
boolector
btor2tools
cadical cadical: 1.5.0 -> 1.5.3 2022-09-26 00:00:17 +09:00
cbmc cbmc: 5.69.1 -> 5.70.0 2022-11-11 18:08:36 +08:00
cedille
celf
clprover
coq coq_8_16: use OCaml 4.14 2022-10-12 20:38:44 +02:00
cryptominisat
cryptoverif
cubicle
cvc3 cvc3: reenable stackprotector on aarch64-darwin 2022-08-25 19:11:45 -07:00
cvc4
cvc5 cvc5: 1.0.1 -> 1.0.2 2022-08-29 17:17:59 +00:00
drat-trim
easycrypt easycrypt-runtest: use other format 2022-09-19 16:05:27 +02:00
ekrhyper
elan elan: 1.4.1 -> 1.4.2 2022-09-13 11:02:26 +02:00
eprover
fast-downward treewide: optional -> optionals where the argument is a list 2022-10-10 15:40:21 +03:00
formula
gappa
glucose glucose: fix build on aarch64-linux 2022-11-25 16:48:03 +01:00
hol
hol_light
iprover
isabelle
key
kissat kissat: 2.0.1 -> 3.0.0 2022-09-02 10:24:30 +02:00
klee klee: use the same LLVM version for clang 2022-08-30 15:08:15 +09:00
lci
lean lean: 3.48.0 -> 3.49.0 2022-11-11 17:33:01 -03:00
lean2
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2
mcy pkgs.applications: remove unused args 2022-10-12 16:00:16 +02:00
metis-prover
minisat
monosat
naproche
nusmv nusmv: init at 2.6.0 2022-10-16 18:21:19 +02:00
nuXmv
open-wbo
opensmt opensmt: 2.4.2 -> 2.4.3 2022-11-22 20:15:56 +00:00
ott
petrinizer pkgs.applications: remove unused args 2022-10-12 16:00:16 +02:00
picosat
poly
potassco clingo: 5.6.1 -> 5.6.2 2022-11-07 17:55:20 +00:00
prooftree
prover9 licenses: remove gpl1 2022-09-29 10:54:21 +02:00
proverif
redprl
sad
satallax
saw-tools
spass
statverif
stp
surelog surelog: 1.40 -> 1.45 2022-11-08 12:47:27 -08:00
symbiyosys
symfpu
tamarin-prover
tlaplus
tptp
twelf
uhdm uhdm: 0.9.1.40 -> 1.45 2022-11-08 12:47:14 -08:00
vampire
verifast
verit
why3 pkgs.applications: remove unused args 2022-10-12 16:00:16 +02:00
workcraft
yices
z3 z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0 2022-08-28 11:06:19 -05:00
zchaff