Solve is a wonder, but in my current application is seems to be "slow", relatively.
I'm finding positive integer solutions to constraints that are sums (of positive integers) and minimums (of positive integers).
When I use pencil and paper to get a solution I sort the constraints and apply them in a certain - data driven - order. I'm thinking my manual solution runs in time that is linear in the number of constraints. However, programming this approach would be tedious - which is why it's wonderful to have Solve.
I've tried telling Solve that the solution desired is in Integers, but this just makes it run more slowly.
Am I missing something in my use of Solve?
