ペンギンの杜

Linuxソフト集

  • Top
  • soft
  • MiniSat+
広告

MiniSat+ - - MiniSatベースの擬似論理演算最適化プログラム

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

説明

MiniSat ベースの擬似論理演算最適化プログラム


コメント

広告