0.8.4-SNAPSHOT Arrow_down_16x16
  • (verify vars)

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

(defn verify [vars]
  (let [rows (->rows vars)
        cols (->cols rows)
        sqs  (->squares rows)
        verify-group (fn [group]
                       (every? #(= (->> % (into #{}) count) 9)
                          group))]
    (and (verify-group rows)
         (verify-group cols)
         (verify-group sqs))))
Vars in clojure.core.logic.bench/verify:
Used in 0 other vars

Comments top

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