ペンギンの杜

Linuxソフト集

  • Top
  • soft
  • Boolector
広告

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)ソルバ


コメント

広告