depot/third_party/nixpkgs/pkgs/applications/science/logic
Default email 504525a148 Project import generated by Copybara.
GitOrigin-RevId: bd645e8668ec6612439a9ee7e71f7eac4099d4f6
2024-01-02 12:29:13 +01:00
..
abc Project import generated by Copybara. 2023-11-16 04:20:00 +00:00
abella Project import generated by Copybara. 2023-11-16 04:20:00 +00:00
acgtk Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
aiger Project import generated by Copybara. 2023-11-16 04:20:00 +00:00
alt-ergo Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
anders Project import generated by Copybara. 2023-07-15 19:15:38 +02:00
aspino Project import generated by Copybara. 2022-11-27 10:42:12 +01:00
avy Project import generated by Copybara. 2023-03-04 15:14:45 +03:00
beluga Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
bitwuzla Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
boolector Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
btor2tools Project import generated by Copybara. 2022-08-12 15:06:08 +03:00
cadical Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
cbmc Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
cedille Project import generated by Copybara. 2023-01-11 08:51:40 +01:00
celf Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
clprover Project import generated by Copybara. 2021-02-05 18:12:51 +01:00
coq Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
cryptominisat Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
cryptoverif Project import generated by Copybara. 2023-10-19 15:55:26 +02:00
cubicle Project import generated by Copybara. 2023-03-08 18:32:21 +02:00
cvc3 Project import generated by Copybara. 2023-11-16 04:20:00 +00:00
cvc4 Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
cvc5 Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
dafny Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
drat-trim Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
easycrypt Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
egglog Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
ekrhyper Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
elan Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
eprover Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
fast-downward Project import generated by Copybara. 2023-08-22 22:05:09 +02:00
formula Project import generated by Copybara. 2022-12-28 22:21:41 +01:00
gappa Project import generated by Copybara. 2021-12-06 17:07:01 +01:00
glucose Project import generated by Copybara. 2023-03-31 00:05:00 +02:00
hol Project import generated by Copybara. 2022-06-16 19:23:12 +02:00
hol_light Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
iprover Project import generated by Copybara. 2023-02-09 12:40:11 +01:00
isabelle Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
key Project import generated by Copybara. 2022-05-18 16:49:53 +02:00
kissat Project import generated by Copybara. 2023-11-16 04:20:00 +00:00
klee Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
lci Project import generated by Copybara. 2021-02-05 18:12:51 +01:00
lean Project import generated by Copybara. 2023-05-24 16:37:59 +03:00
lean2 Project import generated by Copybara. 2022-06-16 19:23:12 +02:00
lean4 Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
leo2 Project import generated by Copybara. 2023-03-08 18:32:21 +02:00
leo3 Project import generated by Copybara. 2022-06-16 19:23:12 +02:00
lingeling Project import generated by Copybara. 2021-12-06 17:07:01 +01:00
logisim Project import generated by Copybara. 2022-06-16 19:23:12 +02:00
logisim-evolution Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
ltl2ba Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
mcrl2 Project import generated by Copybara. 2022-08-12 15:06:08 +03:00
mcy Project import generated by Copybara. 2022-10-21 20:38:19 +02:00
metis-prover Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
minisat Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
monosat Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
naproche Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
netlistsvg Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
nusmv Project import generated by Copybara. 2022-11-02 23:02:43 +01:00
nuXmv Project import generated by Copybara. 2022-06-26 12:26:21 +02:00
open-wbo Project import generated by Copybara. 2022-06-16 19:23:12 +02:00
opensmt Project import generated by Copybara. 2023-08-05 00:07:22 +02:00
ott Project import generated by Copybara. 2023-02-09 12:40:11 +01:00
petrinizer Project import generated by Copybara. 2022-12-28 22:21:41 +01:00
picosat Project import generated by Copybara. 2023-11-16 04:20:00 +00:00
poly Project import generated by Copybara. 2023-08-10 09:59:29 +02:00
potassco Project import generated by Copybara. 2022-11-21 19:40:18 +02:00
prooftree Project import generated by Copybara. 2023-02-09 12:40:11 +01:00
prover9 Project import generated by Copybara. 2022-10-21 20:38:19 +02:00
proverif Project import generated by Copybara. 2023-11-16 04:20:00 +00:00
redprl Project import generated by Copybara. 2021-12-06 17:07:01 +01:00
satallax Project import generated by Copybara. 2023-03-04 15:14:45 +03:00
saw-tools Project import generated by Copybara. 2022-06-26 12:26:21 +02:00
sharpsat-td Project import generated by Copybara. 2023-07-15 19:15:38 +02:00
spass Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
statverif Project import generated by Copybara. 2023-02-09 12:40:11 +01:00
stp Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
surelog Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
symbiyosys Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
symfpu Project import generated by Copybara. 2022-04-15 03:41:22 +02:00
tamarin-prover Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
tlaplus Project import generated by Copybara. 2023-07-15 19:15:38 +02:00
tptp Project import generated by Copybara. 2022-06-26 12:26:21 +02:00
twelf Project import generated by Copybara. 2021-02-05 18:12:51 +01:00
uhdm Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
vampire Project import generated by Copybara. 2023-11-16 04:20:00 +00:00
verifast Project import generated by Copybara. 2022-06-26 12:26:21 +02:00
verit Project import generated by Copybara. 2022-06-26 12:26:21 +02:00
why3 Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
workcraft Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
yices Project import generated by Copybara. 2023-03-24 01:07:29 +01:00
z3 Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
zchaff Project import generated by Copybara. 2022-07-18 18:21:45 +02:00