软件包:minisat2(1:2.2.1-5 以及其他的) [debports]
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
This is a transitional package for minisat, and can be safely removed after the installation is complete.