• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• soft/MiniSat＋ へ行く。
  • 1 (2011-05-17 (火) 10:27:52)

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

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

説明

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

コメント