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