An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Opis izdavača (engleski)
Što je cvc5?
Program cvc5 je softver otvorenog koda za Windows u kategoriji „Upravitelji paketa i ažuriranja”.
Instalacija i zahtjevi sustava
Izdavač nudi instalacijske datoteke vrste Prijenosna verzija za sustave 64-bitno i ARM64. Program radi bez instalacije (prijenosna verzija).
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svatko ga može pregledati i sam prevesti
- Izvorna verzija ARM64 za Windows on Arm
- Prijenosna verzija: radi bez instalacije
Ukratko: cvc5 je program otvorenog koda za Windows (kategorija „Upravitelji paketa i ažuriranja”), dostupan za 64-bitno i ARM64.
Je li preuzimanje programa cvc5 sigurno?
- Datoteka se preuzima s poslužitelja github.com; provjerite je li to službeni zrcalni poslužitelj izdavača
- Poveznica za preuzimanje koristi HTTPS
- Objavljen je hash SHA256, pa se datoteka može provjeriti:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· Otvori izvješće VirusTotala za ovaj hash - Poveznica još nije provjerena
- Izvorni kod je javan
- ExeAtlas ne pohranjuje, ne omata i ne mijenja instalacijske datoteke
Povezani vodič: Kako provjeriti SHA256 hash datoteke u Windowsu
Najnovije verzije
Sve verzije (1) ›| Verzija | Datum | Veličina | Datoteke |
|---|---|---|---|
| 1.4.2Najnovija | — | 64-bitno ZIPARM64 ZIP |
Instalacija iz naredbenog retka
Tiha instalacija ›scoop install main/cvc5Programske datoteke (.exe): cvc5.exe
Povezani vodič: Kako koristiti winget: instalacija i ažuriranje
Informacije
- Kategorija
- Upravitelji paketa i ažuriranja
- Licenca
- BSD-3-Clause
- Cijena
- Besplatno
- Zahtjevi
- Windows 11 / 10
- Arhitektura
- 64-bitno, ARM64
- Instalacijska datoteka
- Prijenosna verzija
- Verzija
- 1.4.2
- Broj verzija
- 1
- Web-stranica
- cvc5.github.io
- Paket Scoop
- main/cvc5
Ocjene i recenzije
Još nema recenzija. Program možete ocijeniti prvi.
Alternative za program cvc5
Prikaži sve ›-
Otvoreni kod386,2 mil. ↓ -
Otvoreni kod2,6 mil. ↓ -
Otvoreni kod183 tis. ↓ -
Otvoreni kod257,3 tis. ↓ -
UniGetUI (formerly WingetUI) - Pre-Release3.3.7-beta1Upravitelji paketa i ažuriranja · Martí ClimentOtvoreni kod78,1 tis. ↓ -
Otvoreni kod3,9 tis. ↓ -
Otvoreni kod9,8 tis. ↓ -
Otvoreni kod15 tis. ↓
Česta pitanja
Je li program cvc5 besplatan?
Da. cvc5 je program otvorenog koda (licenca BSD-3-Clause) koji se može besplatno preuzeti i koristiti.
Je li preuzimanje programa cvc5 sigurno?
Datoteka se preuzima s domene github.com; ExeAtlas datoteku ne pohranjuje i ne mijenja. Hash SHA256 preuzete datoteke usporedite s onim na ovoj stranici ili otvorite izvješće VirusTotala za taj hash.
Radi li cvc5 na procesorima ARM (Windows on Arm)?
Da, postoji izvorna instalacijska datoteka ARM64.
Može li se program cvc5 koristiti bez administratorskih prava?
Da, riječ je o prijenosnoj verziji: dovoljno je raspakirati arhivu i pokrenuti program.
