An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Descripció del desenvolupador (anglès)
Què és cvc5?
cvc5 és programari de codi obert per a Windows inclòs a la categoria Gestors de paquets i actualitzadors.
Instal·lació i requisits
El desenvolupador ofereix instal·ladors Portable per a Windows de 64 bits i ARM64. Funciona sense instal·lació (versió portable).
Avantatges / Inconvenients
Avantatges
- Codi obert: qualsevol persona pot revisar i compilar el codi
- Versió nativa ARM64 per a Windows on Arm
- Portable: funciona sense instal·lar-lo
En resum: cvc5 és un programa de codi obert de la categoria Gestors de paquets i actualitzadors, disponible per a ordinadors de 64 bits i ARM64.
És segur baixar cvc5?
- El fitxer se serveix des de github.com; convé comprovar que és una rèplica oficial del desenvolupador
- L’enllaç de baixada fa servir HTTPS
- Hi ha un hash SHA256 publicat per verificar el fitxer:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· Obre l’informe de VirusTotal d’aquest hash - L’enllaç encara no s’ha comprovat
- El codi font és públic
- ExeAtlas no allotja, no embolcalla ni modifica instal·ladors
Guia relacionada: Com comprovar el hash SHA256 d’un fitxer a Windows
Versions recents
Una sola versió ›| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 1.4.2Darrera | — | 64 bits ZIPARM64 ZIP |
Instal·lar des de la línia d’ordres
Instal·lació silenciosa ›scoop install main/cvc5Fitxers de programa (.exe): cvc5.exe
Guia relacionada: Com utilitzar winget: instal·lar i actualitzar
Informació
- Categoria
- Gestors de paquets i actualitzadors
- Llicència
- BSD-3-Clause
- Preu
- Gratuït
- Requisits
- Windows 11 / 10
- Arquitectura
- 64 bits, ARM64
- Instal·lador
- Portable
- Versió
- 1.4.2
- Versions registrades
- 1
- Lloc web
- cvc5.github.io
- Paquet de Scoop
- main/cvc5
Valoracions i opinions
Encara no hi ha cap opinió.
Alternatives a cvc5
Mostra-ho tot ›-
Codi obert386,2 M ↓ -
Codi obert2,6 M ↓ -
Codi obert183 k ↓ -
Codi obert257,3 k ↓ -
UniGetUI (formerly WingetUI) - Pre-Release3.3.7-beta1Gestors de paquets i actualitzadors · Martí ClimentCodi obert78,1 k ↓ -
Codi obert3,9 k ↓ -
Codi obert9,8 k ↓ -
Codi obert15 k ↓
Preguntes freqüents
cvc5 és gratuït?
Sí. cvc5 és programari de codi obert amb llicència BSD-3-Clause.
És segur baixar cvc5?
La baixada prové de github.com. ExeAtlas no allotja ni modifica el fitxer. Se’n pot comparar el hash SHA256 amb el que apareix aquí o obrir l’informe de VirusTotal d’aquest hash.
cvc5 funciona en ARM (Windows on Arm)?
Sí, hi ha un instal·lador natiu per a ARM64.
Es pot fer servir cvc5 sense permisos d’administrador?
Sí, és portable: només cal descomprimir-lo i executar-lo.
