clojure2minizincMiniZinc 的 Clojure 接口库
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)
评论
Clojure TitaniumClojure 图形库
Titanium 是一个强大的 Clojure 图形库,基于 Aurelius Titan 构建,提
Clojure TitaniumClojure 图形库
0
Clojure SchemaClojure(Script) 库
Schema是一个Clojure(Script)库,用来声明数据描述和验证。代码示例:(ns schema-examples (:require [schema.core :as s
Clojure SchemaClojure(Script) 库
0
Clojure TitaniumClojure 图形库
Titanium是一个强大的Clojure图形库,基于AureliusTitan构建,提供了Clojure风格的API和图像处理DSL。
Clojure TitaniumClojure 图形库
0
Clojure SchemaClojure(Script) 库
Schema 是一个 Clojure(Script) 库,用来声明数据描述和验证。 代码示例:(ns
Clojure SchemaClojure(Script) 库
0
NJKWebViewProgressUIWebView 的进度条接口库
NJKWebViewProgress 是一个 UIWebView 的进度条接口库,UIWebView
NJKWebViewProgressUIWebView 的进度条接口库
0
NJKWebViewProgressUIWebView 的进度条接口库
NJKWebViewProgress是一个UIWebView的进度条接口库,UIWebView本身是不提供进度条的。
NJKWebViewProgressUIWebView 的进度条接口库
0
ClojureCL和 OpenCL 进行并行计算的 Clojure 库
Clojurecl 是一个 Clojure 库,用于和 OpenCL 进行并行计算,它支持最新的 O
ClojureCL和 OpenCL 进行并行计算的 Clojure 库
0
ClojureCL和 OpenCL 进行并行计算的 Clojure 库
Clojurecl是一个Clojure库,用于和OpenCL进行并行计算,它支持最新的OpenCL2.0,并且使用MarcoHutter'sJOCL.org提供的快速手写JNI绑定,与供应商的Open
ClojureCL和 OpenCL 进行并行计算的 Clojure 库
0