- 授权协议: 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)
数据库系统实现
加西亚-莫利纳(Hector Garcia-Molina)、Jeffrey D.Ullman、Jennifer Widom / 杨冬青、吴愈青、包小源 / 机械工业出版社 / 2010-5 / 59.00元
《数据库系统实现(第2版)》是斯坦福大学计算机科学专业数据库系列课程第二门课的教科书。书中对数据库系统实现原理进行了深入阐述，并具体讨论了数据库管理系统的三个主要成分——存储管理器、查询处理器和事务管理器的实现技术。此外，第2版充分反映了数据管理技术的新进展，对内容进行了扩充，除了在第1版中原有的“信息集成”一章（第10章）中加入了新的内容外，还增加了两个全新的章：“数据挖掘”（第11章）和“数据......一起来看看 《数据库系统实现》 这本书的介绍吧!
