Activity for Lukasz Kaiser
-
Lukasz Kaiser committed [r1937]
A first version of FO2SO conversion.
-
Update to Depqbf 5.0.
-
An example of learning properties in blocks world.
-
Update to work with newer Menhir.
-
Add a check for unpruned quantifier variables i...
-
Generate QCIR formulas.
-
Small corrections, esp. to qiscas output.
-
Bugfix to compile on OSX (thanks Skip).
-
Improve documentation of the compilation process.
1