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

Optimax - a MaxSAT solver that allows incompleteness

Author: Norbert Manthey   |   Download optiriss 2016 binary  

Optiriss is a modification of the open-wbo MaxSAT solver, which now uses Riss as a SAT solver. The version of the tool that has been submitted to the MaxSAT competition 2015 can be downloaded here optiriss 2015. The version of the tool that has been submitted in 2016, optiriss6, can be downloaded here: optiriss 2016 For further questions, pleas contact Norbert Manthey.

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