• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• soft/Boolector へ行く。
  • 1 (2011-02-15 (火) 13:20:32)

Boolector - - ビットベクトルやビットアレイ用のSMTソルバ

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

説明

ビットベクトルやビットアレイ用のSMT (Satisfiability Modulo Theories)ソルバ

コメント