Package fr.umlv.gramofone.pb

Class Summary
Constraints Class which create the constraints for the java pseudoboolean solver SAT4J Constraints are writen into a file, the solver as to read the file next
Example  
LaunchPseudoBoolean Class to launch the pseudo boolean solver
PseudoAllSolutionDecorator