[ 源代码: minisat2 ]
软件包: minisat2 (1:2.2.1-5build1)
minisat2 的相关链接
Trisquel 的资源:
下载源码包 minisat2:
维护者:
Original Maintainer:
- Michael Tautschnig
外部的资源:
- 主页 [minisat.se]
相似软件包:
Transitional package for minisat
This is a transitional package for minisat, and can be safely removed after the installation is complete.
负责填实 minisat2 的软件包
- minisat
- Fast and lightweight SAT solver