User Activity

  • Committed [r1937]

    A first version of FO2SO conversion.

  • Committed [r1936]

    Update to Depqbf 5.0.

  • Committed [r1935]

    An example of learning properties in blocks world.

  • Committed [r1934]

    Update to work with newer Menhir.

  • Committed [r1933]

    Add a check for unpruned quantifier variables i...

  • Committed [r1932]

    Generate QCIR formulas.

  • Committed [r1931]

    Small corrections, esp. to qiscas output.

  • Committed [r1930]

    Bugfix to compile on OSX (thanks Skip).

View All

Personal Data

Username:
lukaszkaiser
Joined:
2004-05-18 18:00:56

Projects

This is a list of open source software projects that Lukasz Kaiser is associated with:

Personal Tools