holgerdell
released this
05 Sep 15:37
·
2 commits
to master
since this release
Gaifman graphs of the following instance sets from the SAT competition:
- app16
- sr15bench