An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
提供元による説明（英語）
cvc5とは
cvc5は、「パッケージ管理・アップデーター」に分類されるオープンソースのWindowsソフトです。
インストールと動作環境
提供元は64ビット、ARM64版のポータブルインストーラーを配布しています。インストールせずにそのまま実行できます（ポータブル版）。
メリット / デメリット
メリット
- オープンソースで、誰でもコードを確認・ビルドできる
- ARM版Windows向けのネイティブARM64版がある
- ポータブル版でインストール不要
まとめ: cvc5は、「パッケージ管理・アップデーター」に分類されるオープンソースのWindowsソフトです。64ビット、ARM64のPCで使えます。
cvc5のダウンロードは安全ですか？
- ファイルはgithub.comから配信されています。提供元の公式ミラーかどうかを確認してください
- ダウンロードリンクはHTTPSを使用しています
- SHA256ハッシュが公開されているため、ファイルを検証できます:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· このハッシュのVirusTotalレポートを開く - リンクはまだ確認されていません
- ソースコードは公開されています
- ExeAtlasはインストーラーのホスト、ラップ、改変を行っていません
関連ガイド: SHA256ハッシュの確認方法（Windows）
最近のバージョン
全1バージョン ›コマンドラインでインストール
サイレントインストール ›PowerShell
scoop
scoop install main/cvc5プログラムファイル（.exe）: cvc5.exe
関連ガイド: wingetの使い方：アプリのインストールと更新
情報
- カテゴリ
- パッケージ管理・アップデーター
- ライセンス
- BSD-3-Clause
- 価格
- 無料
- 動作環境
- Windows 11 / 10
- アーキテクチャ
- 64ビット, ARM64
- インストーラー
- ポータブル
- バージョン
- 1.4.2
- 掲載バージョン数
- 1
- 公式サイト
- cvc5.github.io
- Scoopパッケージ
- main/cvc5
評価とレビュー
–
0件の評価
50
40
30
20
10
まだレビューはありません。最初の評価を投稿してください。
cvc5の代替ソフト
すべて表示 ›-
オープンソース3.9億 ↓ -
オープンソース257.8万 ↓ -
オープンソース18.3万 ↓ -
オープンソース25.7万 ↓ -
オープンソース7.8万 ↓ -
オープンソース3933 ↓ -
オープンソース9845 ↓ -
オープンソース1.5万 ↓
よくある質問
cvc5は無料ですか？
はい。cvc5はオープンソースのソフトです（BSD-3-Clauseライセンス）。
cvc5のダウンロードは安全ですか？
ファイルはgithub.comから配信されます。ExeAtlasはファイルをホストしておらず、改変もしていません。ダウンロードしたファイルのSHA256をこのページに記載の値と照合するか、そのハッシュのVirusTotalレポートを確認してください。
cvc5はARM版Windows（Windows on Arm）で動きますか？
はい。ネイティブのARM64版インストーラーがあります。
cvc5は管理者権限なしで使えますか？
はい。ポータブル版なので、展開してそのまま実行できます。
