Mode | Name | Size | |
---|---|---|---|
d--------- | abc | 39 | log plain |
d--------- | abella | 39 | log plain |
d--------- | acgtk | 156 | log plain |
d--------- | alt-ergo | 39 | log plain |
d--------- | boolector | 39 | log plain |
d--------- | coq | 280 | log plain |
d--------- | cvc3 | 39 | log plain |
d--------- | cvc4 | 39 | log plain |
d--------- | ekrhyper | 83 | log plain |
d--------- | eprover | 83 | log plain |
d--------- | hol | 39 | log plain |
d--------- | hol_light | 39 | log plain |
d--------- | iprover | 39 | log plain |
d--------- | isabelle | 81 | log plain |
d--------- | lci | 39 | log plain |
d--------- | lean | 39 | log plain |
d--------- | leo2 | 83 | log plain |
d--------- | logisim | 39 | log plain |
d--------- | ltl2ba | 39 | log plain |
d--------- | matita | 212 | log plain |
d--------- | minisat | 39 | log plain |
d--------- | opensmt | 39 | log plain |
d--------- | ott | 39 | log plain |
d--------- | otter | 39 | log plain |
d--------- | picosat | 39 | log plain |
d--------- | prooftree | 39 | log plain |
d--------- | prover9 | 39 | log plain |
d--------- | satallax | 39 | log plain |
d--------- | spass | 39 | log plain |
d--------- | stp | 120 | log plain |
d--------- | tptp | 39 | log plain |
d--------- | twelf | 39 | log plain |
d--------- | verifast | 39 | log plain |
d--------- | verit | 39 | log plain |
d--------- | why3 | 39 | log plain |
d--------- | yices | 39 | log plain |
d--------- | z3 | 39 | log plain |