0.8.4-SNAPSHOT Arrow_down_16x16
  • (simplefd)

0 Examples top

Log in to add / edit an example.

See Also top

Log in to add a see also.

Plus_12x12 Minus_12x12 Source clojure/core/logic/bench.clj:445 top

(defn simplefd []
  (run* [x y]
    (fd/in x y (fd/interval 0 9))
    (fd/+ x y 9)
    (fresh [p0 p1]
      (fd/* 2 x p0)
      (fd/* 4 y p1)
      (fd/+ p0 p1 24))))
Vars in clojure.core.logic.bench/simplefd:
Used in 0 other vars

Comments top

No comments for simplefd. Log in to add a comment.