nixpkgs/pkgs/applications/science/logic
2023-01-24 07:31:58 +01:00
..
abc abc-verifier: unstable-2022-09-08 -> unstable-2022-11-09 2022-12-06 18:58:31 +01:00
abella
acgtk ocamlPackages.cmdliner: default to 1.1 2022-09-18 15:03:10 +02:00
aiger
alt-ergo alt-ergo: fix version string 2022-12-03 00:00:05 +01:00
anders anders: use Dune 3 2023-01-15 12:13:06 +01:00
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 Merge pull request #210884 from vbgl/beluga-dune-3 2023-01-22 02:22:57 +01:00
bitwuzla treewide: switch to nativeCheckInputs 2023-01-21 12:00:00 +00:00
boolector treewide: switch to nativeCheckInputs 2023-01-21 12:00:00 +00:00
btor2tools
cadical cadical: 1.5.0 -> 1.5.3 2022-09-26 00:00:17 +09:00
cbmc cbmc: mark as broken on aarch64-linux 2023-01-10 22:29:53 +08:00
cedille treewide: {build,host,target}Platform -> stdenv.{build,host,target}Platform 2023-01-09 21:13:22 +02:00
celf
clprover
coq coq_8_17: init at 8.17+rc1 (#209145) 2023-01-06 15:51:50 +01:00
cryptominisat
cryptoverif
cubicle treewide: replace http by https when https is a permanent redirection 2023-01-22 02:46:49 +01:00
cvc3
cvc4
cvc5 cvc5: 1.0.2 -> 1.0.3 2022-12-15 20:56:58 +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 fast-downward: 22.06.1 -> 22.12.0 2022-12-17 07:45:23 +00:00
formula treewide: update all dotnet lockfiles 2022-12-19 15:36:25 -04:00
gappa
glucose glucose: fix build on aarch64-linux 2022-11-25 16:48:03 +01:00
hol
hol_light
iprover
isabelle isabelle: fix build on MacOS 2022-12-06 18:05:26 +00:00
key
kissat treewide: switch to nativeCheckInputs 2023-01-21 12:00:00 +00:00
klee treewide: switch to nativeCheckInputs 2023-01-21 12:00:00 +00:00
lci
lean lean: 3.50.2 -> 3.50.3 2022-12-26 19:05:40 -03:00
lean2
leo2
leo3
lingeling
logisim
logisim-evolution logisim-evolution: 3.7.2 -> 3.8.0 2022-10-03 17:42:45 +00:00
ltl2ba
mcrl2
mcy pkgs.applications: remove unused args 2022-10-12 16:00:16 +02:00
metis-prover treewide: replace http by https when https is a permanent redirection 2023-01-22 02:46:49 +01:00
minisat
monosat treewide: switch to nativeCheckInputs 2023-01-21 12:00:00 +00:00
naproche naproche: 2022-04-19 -> 2022-10-24 2022-10-26 12:10:09 +01:00
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 ott: 0.32 → 0.33 2023-01-24 07:31:58 +01:00
petrinizer petrinizer: mark as broken because sbv no longer builds 2022-12-24 16:05:31 +09: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 satallax: add darwin support 2023-01-09 20:10:30 +01:00
saw-tools
spass
statverif
stp
surelog surelog: use latest OpenJDK 2022-11-25 20:10:49 -08:00
symbiyosys treewide: switch to nativeCheckInputs 2023-01-21 12:00:00 +00:00
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 treewide: replace http by https when https is a permanent redirection 2023-01-22 02:46:49 +01:00
workcraft workcraft: 3.3.8 -> 3.3.9 2022-12-30 23:45:14 +08:00
yices
z3 z3_4_4_0: remove, z3_4_7: remove 2023-01-13 03:44:17 +00:00
zchaff