MiniZinc的Clojure接口库clojure2minizinc.zip
clojure2minizinc是一个通过MiniZinc解决约束满足问题的Clojure库。clojure2minizinc提供一个state-of-the-artconstraintsolvers(viaMiniZinc)和高级编程语言Clojure 之间的接口。代码示例:(ns clojure2minizinc.examples (:require [clojure2minizinc.core :as mz])) (mz/minizinc (mz/clj2mnz (let [a (mz/variable (mz/-- -1 1))