BooleanEdge b = solver->applyPredicate(equals, tmpInputs, INPUTSIZE);
solver->addConstraint(solver->applyLogicalOperation(SATC_NOT, b));
}
run++;
BooleanEdge b = solver->applyPredicate(equals, tmpInputs, INPUTSIZE);
solver->addConstraint(solver->applyLogicalOperation(SATC_NOT, b));
}
run++;