[ ソース: minisat2 ]
パッケージ: minisat2 (1:2.2.1-5build2)
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