org.sat4j.opt
Classes 
MaxSatDecorator
MinOneDecorator
PseudoOptDecorator
WeightedMaxSatDecorator