search

sat-group / open-wbo

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
Other
72 stars 12 forks source link

Upstream #2

Closed conp-solutions closed 6 years ago

conp-solutions commented 6 years ago

This pull request modifies the way open-wbo exits with a solution. Furthermore, printing messages can be suppressed in most locations. This way, the solver can be run as a backend in a simpler way.

conp-solutions commented 6 years ago

I updated the version of Riss that is used in the default version here (with an updated default configuration)

conp-solutions commented 6 years ago

I added some tooling to easily package the tool for starexec.