org.chocosolver.sat
Classes
PropNogoods
PropSat