運営サイト

Linux系

Windows系

PC関連

最新更新

recent(20)

2025-08-28

soft/stlink

STMicroelectronicsのマイコン用書き込みソフト

2025-02-07

soft/visolate

ボロノイ領域を用いてPCBデータをGコードに変換

2024-06-15

soft/CVAT

Intelが開発したAI用アノテーションツール

soft/LabelImg

AI用アノテーションツール

soft/Labelme

MITが開発したAI用アノテーションツール

2024-04-10

soft/ImageJ

科学研究用に画像処理や解析を行う

2021-06-19

MenuBar

2020-07-03

soft/MultiWriter

ISOイメージを複数のUSBメモリに書き込む

2020-05-03

soft/icoutils

Windowsのアイコン(*.ico)を取り扱う

soft/Jellyfin

クロスプラットフォームのメディアサーバー

2020-05-02

soft/OpenPHT

オープンソースのメディアセンター

soft/Plex

高機能なメディアサーバー

2020-04-23

soft/DeepSpeech

Mozillaが開発したテキスト読み上げソフト

2020-04-09

2020-04-05

soft/ReadyMedia

シンプルなメディアサーバー

soft/Emby

Web経由で再生可能なメディアサーバー

soft/Gerbera

様々なデバイスに対応したUPnPメディアサーバー

2020-03-22

MoriMenu3

2019-10-27

soft/kodeWeave

webサイト作成用ソフトウエア

Counter

Counter: 2552,today: 3,yesterday: 0

広告

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

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

説明

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

コメント

広告

PR

Linuxソフトリンク

Windowsソフトリンク

Linuxリンク

オープンソースリンク