MAXSAT and Weighted Max SAT framework.

That package contains various optimization decorators for solving optimization problems such as MAX-SAT, Weighted MAX-SAT, etc.

Those decorators are supposed to be used with the Abstract Optimization Launcher.