• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• soft/CVC3 へ行く。
  • 1 (2010-01-12 (火) 11:08:09)
  • 2 (2010-02-18 (木) 12:37:41)
  • 3 (2013-05-10 (金) 18:37:23)

CVC3 - - Satisfiability Modulo Theories問題用の自動定理証明プログラム

メインページ	http://www.cs.nyu.edu/acsys/cvc3/
参考ページ1	http://
参考ページ2	http://
概要	Satisfiability Modulo Theories問題用の自動定理証明プログラム
カテゴリ	[科学・技術/数学・統計学 ]
関連ソフト	--
検索	CVC3をGoogleで検索
ライセンス	フリー
Debianパッケージ	cvc3
Ubuntuパッケージ	検索 , あればパッケージ登録→
RPMパッケージ	cvc3
登録日	2010-01-05

説明

Satisfiability Modulo Theories(SMT)問題用の自動定理証明プログラム

コメント