depot/third_party/nixpkgs/pkgs/applications/science/logic
Default email ec92d4d331 Project import generated by Copybara.
GitOrigin-RevId: 540dccb2aeaffa9dc69bfdc41c55abd7ccc6baa3
2021-05-28 11:39:13 +02:00
..
abc Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
abella Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
acgtk Project import generated by Copybara. 2021-02-24 18:30:23 +00:00
aiger Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
alt-ergo Project import generated by Copybara. 2021-04-26 15:14:03 -04:00
aspino Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
avy Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
beluga Project import generated by Copybara. 2021-04-22 04:08:21 +02:00
boolector Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
btor2tools Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
cadical Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
cedille Project import generated by Copybara. 2021-01-15 23:18:51 +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. 2021-05-20 18:08:51 -05:00
coq2html Project import generated by Copybara. 2021-05-20 18:08:51 -05:00
cryptominisat Project import generated by Copybara. 2021-02-05 18:12:51 +01:00
cryptoverif Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
cubicle Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
cvc3 Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
cvc4 Project import generated by Copybara. 2021-02-05 18:12:51 +01:00
drat-trim Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
ekrhyper Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
elan Project import generated by Copybara. 2021-05-20 18:08:51 -05:00
eprover Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
fast-downward Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
gappa Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
glucose Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
hol Project import generated by Copybara. 2021-02-24 18:30:23 +00:00
hol_light Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
iprover Project import generated by Copybara. 2021-02-05 18:12:51 +01:00
isabelle Project import generated by Copybara. 2021-03-09 11:18:52 +08:00
jonprl Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
key Project import generated by Copybara. 2021-05-20 18:08:51 -05:00
lci Project import generated by Copybara. 2021-02-05 18:12:51 +01:00
lean Project import generated by Copybara. 2021-05-28 11:39:13 +02:00
lean2 Project import generated by Copybara. 2021-04-05 17:23:46 +02:00
leo2 Project import generated by Copybara. 2021-03-09 11:18:52 +08:00
leo3 Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
lingeling Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
logisim Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
ltl2ba Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
mcrl2 Project import generated by Copybara. 2021-02-19 20:06:45 +01:00
mcy Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
metis-prover Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
minisat Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
monosat Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
open-wbo Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
opensmt Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
ott Project import generated by Copybara. 2021-02-05 18:12:51 +01:00
otter Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
petrinizer Project import generated by Copybara. 2021-05-20 18:08:51 -05:00
picosat Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
poly Project import generated by Copybara. 2021-05-28 11:39:13 +02:00
potassco Project import generated by Copybara. 2021-04-24 22:57:28 -05:00
prooftree Project import generated by Copybara. 2021-02-05 18:12:51 +01:00
prover9 Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
proverif Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
redprl Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
sad Project import generated by Copybara. 2021-03-09 11:18:52 +08:00
satallax Project import generated by Copybara. 2021-03-09 11:18:52 +08:00
saw-tools Project import generated by Copybara. 2021-02-05 18:12:51 +01:00
spass Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
statverif Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
stp Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
symbiyosys Project import generated by Copybara. 2021-02-13 15:23:35 +01:00
tamarin-prover Project import generated by Copybara. 2021-05-20 18:08:51 -05:00
tlaplus Project import generated by Copybara. 2021-03-15 09:37:03 +01:00
tptp Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
twelf Project import generated by Copybara. 2021-02-05 18:12:51 +01:00
vampire Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
verifast Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
verit Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
why3 Project import generated by Copybara. 2021-03-09 11:18:52 +08:00
workcraft Project import generated by Copybara. 2021-03-09 11:18:52 +08:00
yices Project import generated by Copybara. 2021-02-05 18:12:51 +01:00
z3 Project import generated by Copybara. 2021-03-09 11:18:52 +08:00