広告
広告MiniSat+ - - MiniSatベースの擬似論理演算最適化プログラム
メインページ | http://minisat.se/MiniSat+.html | |
参考ページ1 | http:// | |
参考ページ2 | http:// | |
概要 | MiniSatベースの擬似論理演算最適化プログラム | |
カテゴリ | [科学・技術/数学・統計学 ] | |
関連ソフト | -- | |
検索 | MiniSat+をGoogleで検索 | |
ライセンス | フリー | |
Debianパッケージ | minisat+ | |
Ubuntuパッケージ | 検索 , | |
RPMパッケージ | 検索 , | |
FreeBSD Ports | 検索 , | |
登録日 | 2011-05-16 |
説明
MiniSat ベースの擬似論理演算最適化プログラム