Open-WBO is compiled like MiniSAT. The option "s" statically compiles Open-WBO, and the option "r" compiles Open-WBO in release mode. For example:

make rs - compiles Open-WBO statically ("s") in release mode ("r")

make - compiles Open-WBO dynamically in debug mode

Any MiniSAT-like SAT solver may be used with Open-WBO. If you want to use a new SAT solver (e.g. "MiniSAT 2.2"), it is necessary to crease a subdirectory (e.g. "minisat2.2") inside the "solvers" directory and change the Makefile accordingly:

# VERSION = core or simp

# SATSOLVER = name of the SAT solver

# SOLVERDIR = subdirectory of the SAT solver

# NSPACE = namespace of the SAT solver

#

# e.g. MiniSAT 2.2 compilation with core version:

#

VERSION = core

SATSOLVER = "MiniSAT 2.2"

SOLVERDIR = minisat2.2

NSPACE = Minisat

# THE REMAINING OF THE MAKEFILE SHOULD BE LEFT UNCHANGED

The following SAT solvers are included in this version of Open-WBO: (i) minisat2.2, (ii) glucose4.0, (iii) glucose4.1 We would like to thank the authors of those solvers for making their source code publicly available. Further information regarding those solvers may be found in the following references.

SAT Solver References: