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

Documents

Randomized Model Finder

Paradox

Model Finder

Other