Uses of Package
org.jacop.satwrapper