Package org.sat4j.pb.reader

Readers for opb instances.

See:
          Description

Class Summary
OPBEclipseReader2007  
OPBReader2005 Based on the "Official" reader for the Pseudo Boolean evaluation 2005.
OPBReader2006 Reader complying to the PB06 input format.
OPBReader2007 Reader complying with the PB07 input format.
OPBReader2010  
PBInstanceReader An reader having the responsibility to choose the right reader according to the input.
 

Package org.sat4j.pb.reader Description

Readers for opb instances.



Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.