Lab for Automated Reasoning and Analysis LARA

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.

Source code


Randomized Model Finder


Model Finder


randomized_model_finder.txt · Last modified: 2007/06/29 22:20 by cedric.jeanneret
© EPFL 2018 - Legal notice