Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision Next revision Both sides next revision | ||
|
nenofar [2009/02/20 15:07] vkuncak created |
nenofar [2009/02/25 20:31] philippe.suter |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Nenofur ====== | + | ====== Nenofar = Negation Normal Form Automated Reasoner ====== |
| + | |||
| + | {{{{nenufar.jpg|Nenuphar = Water Lily}} | ||
| + | |||
| + | 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]] | ||
| - | {{nymphaea_alba.jpg|Nenuphar = Water Lily}} | ||
| - | Nenofur = Negation Normal Form Automated Reasoner | ||