12 ms·

Seems like I was looking for CLPQR with logical constraints, which doesn't seem to exist.

• rscho 8y ago
  If you want to do constraints, I'd argue that ECLiPSE prolog is probably best. You can also use a variety of solvers from it.