An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Beschrijving van de uitgever (Engels)
Wat is cvc5?
cvc5 is opensource software voor Windows (categorie: Pakketbeheerders & updaters).
Installatie en systeemeisen
De uitgever levert installers voor 64-bits en ARM64 (Portable). Het programma werkt zonder installatie (portable).
Voordelen / Nadelen
Voordelen
- Open source: iedereen kan de code inzien en zelf compileren
- Native ARM64-versie voor Windows on Arm
- Portable: werkt zonder installatie
Kort gezegd: cvc5 is een opensource tool uit de categorie Pakketbeheerders & updaters voor pc’s met 64-bits en ARM64.
Is cvc5 veilig om te downloaden?
- Het bestand komt van github.com; controleer of dit een officiële mirror van de uitgever is
- De downloadlink gebruikt HTTPS
- Er is een SHA256-hash gepubliceerd, dus het bestand is te controleren:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· Open het VirusTotal-rapport voor deze hash - De link is nog niet gecontroleerd
- De broncode is openbaar
- ExeAtlas host, verpakt of wijzigt geen installers
Gerelateerde handleiding: SHA256-hash van een bestand controleren in Windows
Recente versies
Alle 1 versies ›| Versie | Datum | Grootte | Bestanden |
|---|---|---|---|
| 1.4.2Nieuwste | — | 64-bits ZIPARM64 ZIP |
Installeren via de opdrachtregel
Stille installatie ›scoop install main/cvc5Programmabestanden (.exe): cvc5.exe
Gerelateerde handleiding: winget gebruiken: programma’s installeren en updaten
Informatie
- Categorie
- Pakketbeheerders & updaters
- Licentie
- BSD-3-Clause
- Prijs
- Gratis
- Vereist
- Windows 11 / 10
- Architectuur
- 64-bits, ARM64
- Installer
- Portable
- Versie
- 1.4.2
- Versies in de lijst
- 1
- Website
- cvc5.github.io
- Scoop-pakket
- main/cvc5
Beoordelingen en reviews
Nog geen reviews. Geef als eerste een beoordeling.
Alternatieven voor cvc5
Alles bekijken ›-
Open source386,2 mln. ↓ -
Open source2,6 mln. ↓ -
Open source183K ↓ -
Open source257,3K ↓ -
Open source78,1K ↓ -
Open source3,9K ↓ -
Open source9,8K ↓ -
Open source15K ↓
Veelgestelde vragen
Is cvc5 gratis?
Ja. cvc5 is opensourcesoftware onder de licentie BSD-3-Clause.
Is cvc5 veilig om te downloaden?
Het bestand komt van github.com; ExeAtlas host of wijzigt het niet. Vergelijk de SHA256-hash van het gedownloade bestand met de hash op deze pagina, of open het VirusTotal-rapport voor die hash.
Werkt cvc5 op ARM (Windows on Arm)?
Ja, er is een native ARM64-installer.
Werkt cvc5 zonder beheerdersrechten?
Ja, het programma is portable: uitpakken en starten.
