This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2019-12-26
Channels
- # beginners (74)
- # cider (3)
- # cljsrn (1)
- # clojure (182)
- # clojure-dev (4)
- # clojure-europe (1)
- # clojure-spec (5)
- # clojure-uk (58)
- # clojurescript (44)
- # core-async (5)
- # core-logic (10)
- # cursive (6)
- # datomic (13)
- # duct (1)
- # fulcro (2)
- # graalvm (4)
- # leiningen (1)
- # off-topic (7)
- # overtone (6)
- # random (3)
- # re-frame (17)
- # reitit (2)
- # shadow-cljs (6)
- # spacemacs (4)
- # sql (12)
- # tools-deps (3)
Aha 🙂
> non negative integer or more generally discrete constraints. These last constraints, sometimes also called finite domain constraints, are generally studied in the Constraint Satisfaction Problems (CSP)
Source: https://www.sciencedirect.com/topics/computer-science/finite-domain-constraint
So a finite domain is nonnegative by definition
Related question: https://stackoverflow.com/questions/13195493/core-logic-finite-domain-with-ve-values
There might be a reason related to increasing search space why negative numbers are excluded, but I can’t find it anywhere
But anyway for this specific problem I don’t need negative numbers
I don’t need to represent the input as maps