Limboole

Download

[ limboole-0.2.tar.gz (src) | limboole.exe (windows) ]

Limboole is a front end to Limmat, which allows to check satisfiability and tautology on arbitrary formulas and not just conjunctive normal form, which the standard input format of Limmat and other SAT solvers. The input format of Limboole is described in the README that is included in the sources.

License

Limboole is absolutely free software. You can modify and use it for any purpose you like. However, note that Limmat has a BSD license and if you generate a binary version of Limboole linked to Limmat you have to obey the requirements of the license of Limmat.