SAT Preprocessor
 SAT Solver
 #SAT Solver
 PB / MaxSAT
 Solver Evaluation

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.

ICCL Home   |   Institute of Artificial Intelligence - KRR Group   |   Publications