Package org.jacop.satwrapper.translation