文件名称：MiniZinc的Clojure接口库clojure2minizinc.zip
文件大小：218KB
文件格式：ZIP
更新时间：2022-08-07 22:38:03
开源项目
clojure2minizinc 是一个通过 MiniZinc 解决约束满足问题的 Clojure 库。clojure2minizinc 提供一个 state-of-the-art constraint solvers (via MiniZinc) 和高级编程语言 Clojure 之间的接口。代码示例：(ns clojure2minizinc.examples (:require [clojure2minizinc.core :as mz])) (mz/minizinc (mz/clj2mnz (let [a (mz/variable (mz/-- -1 1)) b (mz/variable (mz/-- -1 1))] (mz/constraint (mz/!= a b)) (mz/solve :satisfy) (mz/output-map {:a a :b b}))) :num-solutions 3)
【文件预览】：
clojure2minizinc-master
----README.html(15KB)
----COPYING(34KB)
----CHANGES.org(1KB)
----src()
--------clojure2minizinc()
----doc()
--------index.html(17KB)
--------example-drafts()
--------reference()
--------index.org(6KB)
--------tutorial.org(33KB)
--------examples()
--------tutorial.html(64KB)
--------graphics()
----README.org(6KB)
----test()
--------clojure2minizinc()
----TODO.org(5KB)
----project.clj(2KB)
----resources()
--------minizinc-examples()
----.gitignore(106B)