0.8.4-SNAPSHOT Arrow_down_16x16
  • (dinesmanfd)

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

(defn dinesmanfd []
  (run* [baker cooper fletcher miller smith :as vs]
    (fd/distinct vs)
    (everyg #(fd/in % (fd/interval 1 5)) vs)
    (fd/!= baker 5) (fd/!= cooper 1)
    (fd/!= fletcher 5) (fd/!= fletcher 1)
    (fd/< cooper miller) 
    (not-adjacento smith fletcher)
    (not-adjacento fletcher cooper)))
Vars in clojure.core.logic.bench/dinesmanfd:
Used in 0 other vars

Comments top

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