Uses of Class
org.chocosolver.sat.PropSat