final Translation translation = Translator.translate(formula, bounds, options);
final long endTransl = System.currentTimeMillis();
final SATMinSolver cnf = (SATMinSolver)translation.cnf();
for(Relation r : bounds.relations()) {
IntSet vars = translation.primaryVariables(r);
if (vars != null) {
int rcost = cost.edgeCost(r);
for(IntIterator iter = vars.iterator(); iter.hasNext(); ) {
cnf.setCost(iter.next(), rcost);
}