- 授权协议: 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)
圈圈教你玩USB
刘荣 / 2013-4 / 59.00元
通过U盘、USB鼠标、15SB键盘、USBMIDI键盘、USB转串口、自定义的USBHID设备和自定义的USB设备等几个具体的USB例子,一步步讲解USB设备及驱动程序和应用程序开发的详细过程和步骤。第9和10章介绍USBWDM驱动开发,并给出一个简单的USB驱动和USB上层过滤驱动的实例。第2版中新增4章内容,包括USB触摸屏设备、移植到AVR单片机和ARM微控制器上以及更多的USB设备的实现。......一起来看看 《圈圈教你玩USB》 这本书的介绍吧!
