Namespaces

clojure
- core
  - async
  - logic
    - fd
    - pldb
  - protocols
  - reducers
  - server
- data
  - csv
- datafy
- edn
- inspector
- instant
- java
  - browse
  - io
  - javadoc
  - process
  - shell
- main
- math
- pprint
- reflect
- repl
  - deps
- set
- spec
  - alpha
- stacktrace
- string
- template
- test
  - junit
  - tap
- tools
  - build
    - api
  - deps
    - interop
- walk
- xml
- zip

+

clojure.core.logic.fd

(+ x y sum)

A finite domain constraint for addition and subtraction.
 x, y & sum must eventually be given domains if vars.

© Rich Hickey. All rights reserved. Eclipse Public License 1.0