広告
広告Boolector - - ビットベクトルやビットアレイ用のSMTソルバ
メインページ | http://fmv.jku.at/boolector/ | |
参考ページ1 | http:// | |
参考ページ2 | http:// | |
概要 | ビットベクトルやビットアレイ用のSMTソルバ | |
カテゴリ | [科学・技術/数学・統計学 ], [プログラミング/その他(プログラミング) ] | |
関連ソフト | -- | |
検索 | BoolectorをGoogleで検索 | |
ライセンス | フリー | |
Debianパッケージ | boolector | |
Ubuntuパッケージ | boolector | |
RPMパッケージ | 検索 , | |
FreeBSD Ports | 検索 , | |
登録日 | 2010-06-16 |
説明
ビットベクトルやビットアレイ用のSMT (Satisfiability Modulo Theories)ソルバ