Package org.jacop.satwrapper