opt4j-satdecoding 3.0 API

Packages

org.opt4j.satdecoding	Provides classes for using a PB solver as Decoder.
org.opt4j.satdecoding.sat4j	Provides classes for solving (0-1) ILPs using the SAT4J package.