ペンギンの杜

Linuxソフト集

  • Top
  • soft
  • MiniSat
広告

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)用ソルバ


コメント

広告