Differences

This shows you the differences between two versions of the page.

--- randomized_model_finder [2007/06/29 11:02]
cedric.jeanneret
+++ randomized_model_finder [2007/06/29 22:20]
cedric.jeanneret
@@ Line 2: / Line 2: @@
 // Cédric Jeanneret and Leander Eyer //
-===== Documents =====
+This project introduces a new method
+using randomness to find model for first order logic
+formulas. This new method has been tested on a simple
+example and results, even far from well-known model
+finder tool, are encouraging. This project also presents a
+solver for TPTP problems based on KodKod.
+{{eyer_jeanneret.tgz|Source code}}
+===== Documents =====
+==== Randomized Model Finder ====
+  * {{eyer_jeanneret.pdf|report}}
+  * {{rmf_pres.pdf|slides for presentation}}
+  * {{rmf_pres4p4.pdf|handouts for printing (4 per page)}}
 ==== Paradox ====
@@ Line 14: / Line 26: @@
-==== Randomized Model Finder ====
-  * report
-  * {{rmf_pres.pdf|slides for presentation}}
-  * {{rmf_pres4p4.pdf|handouts for printing (4 per page)}}
 ===== Links =====