New answers tagged constraints
2
You should have a look at Satisfiability Modulo Theories or SMT for short.
A huge number of problems can be thought of as instances of SMT for a particular theory.
For example, correctly designing certain types of integrated circuits can be phrased as an SMT problem.
The problem you're describing fits under the theory of quantifier-free linear integer ...
Top 50 recent answers are included
