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> |
||
|---|---|---|
| .. | ||
| astronomy | ||
| biology | ||
| chemistry/avogadro | ||
| electronics | ||
| geometry | ||
| logic | ||
| math | ||
| misc | ||
| molecular-dynamics/gromacs | ||
| spyder | ||