/**
 * Built-in optimization 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 {@link org.sat4j.AbstractOptimizationLauncher}.
 * 
 */

package org.sat4j.opt;

