Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
nenofar [2009/02/25 20:31] philippe.suter |
nenofar [2009/02/25 21:37] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Nenofar = Negation Normal Form Automated Reasoner ====== | ====== Nenofar = Negation Normal Form Automated Reasoner ====== | ||
- | {{{{nenufar.jpg|Nenuphar = Water Lily}} | + | {{{{nenufar.jpg?200|Nenuphar = Water Lily}} |
Available downloads: | Available downloads: | ||
Line 8: | Line 8: | ||
* the benchmarks: [[http://lara.epfl.ch/~psuter/nenofar-dist/benchmarks.tgz]] | * the benchmarks: [[http://lara.epfl.ch/~psuter/nenofar-dist/benchmarks.tgz]] | ||
- | + | For more information: | |
+ | * [[http://people.epfl.ch/philippe.suter|Philippe Suter]] | ||
+ | * [[http://infoscience.epfl.ch/record/126445|Non-Clausal Satisfiability Modulo Theories]] (master's thesis by Philippe Suter) | ||