5aa4495cb5
There are two versions here because beginning with 1.6.0, Boolector has a more restrictive, unfree license which disallows commercial use. As a result, Boolector 1.5 is the default 'boolector' expression. Signed-off-by: Austin Seipp <aseipp@pobox.com> |
||
|---|---|---|
| .. | ||
| boolector | ||
| coq | ||
| cvc3 | ||
| ekrhyper | ||
| eprover | ||
| hol | ||
| hol_light | ||
| iprover | ||
| isabelle | ||
| lci | ||
| leo2 | ||
| logisim | ||
| matita | ||
| minisat | ||
| opensmt | ||
| otter | ||
| picosat | ||
| prover9 | ||
| satallax | ||
| spass | ||
| ssreflect | ||
| stp | ||
| tptp | ||
| z3 | ||