File | Date | Author | Commit |
---|---|---|---|
Logic Programs | 2013-01-15 | eldaaran | [r429] - 2002 SAT benchmarks |
Terricolor | 2013-01-26 | eldaaran | [r465] - altered output to support pipelining into cla... |
Vernaya | 2013-01-26 | eldaaran | [r466] - minor performance improvement |