clojure2miizic是一个通过MiiZic解决约束满足问题的Clojure库。
clojure2miizic提供一个state-of-the-artcostraitsolvers(viaMiiZic)和高级编程语言Clojure之间的接口。
代码示例：
(s clojure2miizic.examples (:require [clojure2miizic.core :as mz])) (mz/miizic (mz/clj2mz (let [a (mz/variable (mz/-- -1 1)) b (mz/variable (mz/-- -1 1))] (mz/costrait (mz/!= a b)) (mz/solve :satisfy) (mz/output-map {:a a :b b}))) :um-solutios 3)
评论