Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
nenofar [2009/02/20 15:10] vkuncak |
nenofar [2009/02/25 21:36] vkuncak |
||
---|---|---|---|
Line 3: | Line 3: | ||
{{{{nenufar.jpg|Nenuphar = Water Lily}} | {{{{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]] | ||
+ | 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) | ||