fr.umlv.gramofone.pb
Classes 
Constraints
Example
LaunchPseudoBoolean
PseudoAllSolutionDecorator