Cédric Jeanneret and Leander Eyer

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.

Source code

• report
• slides for presentation
• handouts for printing (4 per page)

• paper
• slides for presentation
• handouts for printing (4 per page)

• Paradox
• KodKod
• SEM

• Scala Language
• TPTP
• Swarm Intelligence