Optimax - a MaxSAT solver that allows incompleteness
Author: Peter Steinke and Norbert Manthey
| System description
| Download optimax binary
| Download optimax source code
The description of Optimax as well as a statically linked binary and the source code will be added soon to this web page.
For further questions, pleas contact Norbert Manthey or Peter Steinke.