- 授权协议: 未知
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://www.sat4j.org/
- 软件文档: http://www.sat4j.org/doc.php
软件介绍
OpenSAT 是一个Java实现的SAT算法库。
关于SAT算法请看：sat2_sjtu_zhaoshuang.pdf
High Performance Python
Andrew Lewis / O'Reilly Media, Inc. / 2010-09-15 / USD 34.99
Chapter 1. Introduction Section 1.1. The High Performance Buzz-word Chapter 2. The Theory of Computation Section 2.1. Introduction Section 2.2. Problems Section 2.3. Models of Computati......一起来看看 《High Performance Python》 这本书的介绍吧!
