@sophieschmieg i mean, SAT/ILP solvers already do some nontrivial magic around that, so really in some applications the question is already irrelevant i think…