Max-SAT Evaluation 2015 Submission (2015-08-05)
Pre-release
Pre-release
·
1535 commits
to master
since this release
maxsat2015-20150805 Merge branch 'master' into maxsat2015