広告
広告MiniSat - - 高速軽量なSATソルバ
メインページ | http://minisat.se/ | |
参考ページ1 | http:// | |
参考ページ2 | http:// | |
概要 | 高速軽量なSATソルバ | |
カテゴリ | [科学・技術/数学・統計学 ] | |
関連ソフト | MiniSat+ | |
検索 | MiniSatをGoogleで検索 | |
ライセンス | フリー | |
Debianパッケージ | minisat | |
Ubuntuパッケージ | minisat | |
RPMパッケージ | minisat | |
FreeBSD Ports | 検索 , | |
登録日 | 2011-03-30 |
説明
充足可能性問題(SAT)用ソルバ