0.8.4-SNAPSHOT Arrow_down_16x16
  • (simple-fd-eq)

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:456 top

(defn simple-fd-eq []
  (run* [x y]
    (fd/in x y (fd/interval 0 9))
    (fd/eq
     (= (+ x y) 9)
     (= (+ (* x 2) (* y 4)) 24))))
Vars in clojure.core.logic.bench/simple-fd-eq:
Used in 0 other vars

Comments top

No comments for simple-fd-eq. Log in to add a comment.