User Activity

  • Committed [r9667]

    fixing issue with unsat pre-solving during prep...

  • Committed [r9431]

    * RELEASE 2.2

  • Committed [r9430]

    improving cmd parsing

  • Committed [r9398]

    update configuration section to new claspfolio ...

  • Committed [r9386]

    prepare release 2.2

  • Committed [r9346]

    removing example envs in configuration section

  • Committed [r9344]

    adding autofolio cite

  • Committed [r9343]

    fixing some of torstens comments

View All

Personal Data

Username:
manju_sama
Joined:
2008-11-22 12:42:31

Projects

This is a list of open source software projects that Marius Lindauer is associated with:

Personal Tools