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 product)

A finite domain constraint for multiplication and
 thus division. x, y & product must be eventually be given 
 domains if vars.

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