org.sat4j.opt
Classes
MaxSatDecorator
MinOneDecorator
PseudoOptDecorator
WeightedMaxSatDecorator