Package org.sat4j.pb.reader

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.
PBInstanceReader An reader having the responsibility to choose the right reader according to the input.
 



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