Randomized Model Finder
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.