An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Beschreibung des Herstellers (Englisch)
Was ist cvc5?
cvc5 ist quelloffene Software für Windows (Kategorie: Paketmanager & Updater).
Installation und Systemvoraussetzungen
Der Hersteller bietet Setups für 64-Bit und ARM64 an (Portabel). Das Programm läuft ohne Installation (portabel).
Vorteile / Nachteile
Vorteile
- Open Source: Der Quellcode ist einsehbar und lässt sich selbst kompilieren
- Native ARM64-Version für Windows on Arm
- Portabel: läuft ohne Installation
Kurz gesagt: cvc5 ist ein quelloffenes Tool aus der Kategorie „Paketmanager & Updater“ für PCs mit 64-Bit und ARM64.
Ist der Download von cvc5 sicher?
- Die Datei kommt von github.com; prüfen Sie, ob das ein offizieller Mirror des Herstellers ist
- Der Download-Link verwendet HTTPS
- Ein SHA256-Hash ist veröffentlicht, die Datei lässt sich also prüfen:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· VirusTotal-Bericht zu diesem Hash öffnen - Der Link wurde noch nicht geprüft
- Der Quellcode ist öffentlich
- ExeAtlas hostet, verpackt oder verändert keine Installer
Passende Anleitung: SHA256-Hash einer Datei unter Windows prüfen
Neueste Versionen
Alle 1 Versionen ›| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 1.4.2Aktuell | — | 64-Bit ZIPARM64 ZIP |
Installation per Kommandozeile
Silent Install ›scoop install main/cvc5Programmdateien (.exe): cvc5.exe
Passende Anleitung: winget-Anleitung: Programme installieren und updaten
Informationen
- Kategorie
- Paketmanager & Updater
- Lizenz
- BSD-3-Clause
- Preis
- Kostenlos
- Voraussetzung
- Windows 11 / 10
- Architektur
- 64-Bit, ARM64
- Installer
- Portabel
- Version
- 1.4.2
- Erfasste Versionen
- 1
- Website
- cvc5.github.io
- Scoop-Paket
- main/cvc5
Bewertungen und Rezensionen
Noch keine Rezensionen. Geben Sie die erste Bewertung ab.
Alternativen zu cvc5
Alle anzeigen ›-
Open Source386,2 Mio. ↓ -
Open Source2,6 Mio. ↓ -
Open Source182.980 ↓ -
Open Source257.253 ↓ -
Open Source78.076 ↓ -
Open Source3933 ↓ -
Open Source9845 ↓ -
Open Source15.037 ↓
Häufige Fragen
Ist cvc5 kostenlos?
Ja. cvc5 ist Open-Source-Software unter der Lizenz BSD-3-Clause.
Ist der Download von cvc5 sicher?
Die Datei kommt von github.com; ExeAtlas hostet oder verändert sie nicht. Vergleichen Sie den SHA256-Hash der heruntergeladenen Datei mit dem hier angezeigten oder öffnen Sie den VirusTotal-Bericht zu diesem Hash.
Läuft cvc5 auf ARM (Windows on Arm)?
Ja, es gibt einen nativen ARM64-Installer.
Kann ich cvc5 ohne Administratorrechte nutzen?
Ja, das Programm ist portabel: entpacken und starten.
