Package org.jacop.satwrapper.translation


package org.jacop.satwrapper.translation