Skip to content

Version 1.6.0
Compare
Choose a tag to compare
@marekpiotrow marekpiotrow released this 27 May 08:10
· 6 commits to master since this release
v1.6.0
bff7234

Improved cooperation with SCIP solver. Observed bugs were fixed. New exit codes as required by Maxsat Evaluation 2024 rules.

Assets 2
Loading