Welcome! Please see the About page for a little more info on how this works.

0 votes
in core.logic by

SWI-Prolog's CLP(FD) module has this functionality http://www.swi-prolog.org/man/clpfd.html

1 Answer

0 votes
by
Reference: https://clojure.atlassian.net/browse/LOGIC-128 (reported by dnolen)
...