Uses of Class
org.sat4j.pb.reader.OPBReader2010

Packages that use OPBReader2010

Package	Description
org.sat4j.pb.reader	Readers for opb instances.

Uses of OPBReader2010 in org.sat4j.pb.reader

Subclasses of OPBReader2010 in org.sat4j.pb.reader

Modifier and Type	Class and Description
class	OPBReader2012 OPBReader allowing to read several objective functions in an OPB file.