広告
広告DepQBF - - 限量子付ブール式(QBF)用ソルバー
メインページ | http://fmv.jku.at/depqbf/ | |
参考ページ1 | http:// | |
参考ページ2 | http:// | |
概要 | 限量子付ブール式(QBF)用ソルバー | |
カテゴリ | [科学・技術/数学・統計学 ] | |
関連ソフト | -- | |
検索 | DepQBFをGoogleで検索 | |
ライセンス | フリー | |
Debianパッケージ | depqbf | |
Ubuntuパッケージ | 検索 , | |
RPMパッケージ | 検索 , | |
FreeBSD Ports | 検索 , | |
登録日 | 2011-09-13 |
説明
限量子付ブール式(quantified boolean formulae:QBF)用ソルバー