Nenofar = Negation Normal Form Automated Reasoner

Available downloads:

• a Linux binary of Nenofar compiled statically against libstdc++ and libc : http://lara.epfl.ch/~psuter/nenofar-dist/nenofar
• the compressed sources: http://lara.epfl.ch/~psuter/nenofar-dist/nenofar.tgz
• the benchmarks: http://lara.epfl.ch/~psuter/nenofar-dist/benchmarks.tgz

For more information:

• Philippe Suter
• Non-Clausal Satisfiability Modulo Theories (master's thesis by Philippe Suter)