- 授权协议: GPL
- 开发语言:
- 操作系统: 跨平台
- 软件首页: https://github.com/tanders/clojure2minizinc
软件介绍
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)
iOS应用逆向工程 第2版
沙梓社、吴航 / 机械工业出版社 / 2015-4-1 / 79.00
你是否曾因应用上线的第一天即遭破解而无奈苦恼，想要加以防范，却又束手无策？ 你是否曾为某一应用深深折服，想要借鉴学习，却又无从下手？ 你是否已不满足于public API，想要进军Cydia开发，却又求学无门？ 你是否已产生“不识Apple真面目，只缘身在App Store中”的危机感，想要通过阅读来一窥这冰山一角外的整个北极，却又找不到合适的书？ 你是否已经因无法跨越开发......一起来看看 《iOS应用逆向工程 第2版》 这本书的介绍吧!
