An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
A kiadó leírása (angol)
Mi a cvc5?
Nyílt forráskódú szoftver Windowsra, a „Csomagkezelők és frissítők” kategóriában.
Telepítés és rendszerigény
A kiadó Hordozható telepítőt kínál 64 bites és ARM64 Windowsra. Telepítés nélkül is futtatható (hordozható változat).
Előnyök / Hátrányok
Előnyök
- Nyílt forráskód: bárki átnézheti és lefordíthatja
- Natív ARM64-változat Windows on Armhoz
- Hordozható: telepítés nélkül fut
Összegzés: cvc5: nyílt forráskódú program a „Csomagkezelők és frissítők” kategóriából, 64 bites és ARM64 gépekre.
Biztonságos a cvc5 letöltése?
- A fájlt a github.com szolgálja ki; érdemes ellenőrizni, hogy ez a kiadó hivatalos tükre-e
- A letöltési hivatkozás HTTPS-t használ
- SHA256 ellenőrzőösszeg elérhető, így a fájl ellenőrizhető:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· A VirusTotal-jelentés megnyitása ehhez az ellenőrzőösszeghez - A hivatkozást még nem ellenőriztük
- A forráskód nyilvános
- Az ExeAtlas nem tárol, nem csomagol be és nem módosít telepítőket
Kapcsolódó útmutató: Fájl SHA256 kivonatának ellenőrzése Windowson
Legutóbbi verziók
Mind az 1 verzió ›| Verzió | Dátum | Méret | Fájlok |
|---|---|---|---|
| 1.4.2Legújabb | — | 64 bites ZIPARM64 ZIP |
Telepítés parancssorból
Csendes telepítés ›scoop install main/cvc5Programfájlok (.exe): cvc5.exe
Kapcsolódó útmutató: A winget használata: programok telepítése, frissítése
Információk
- Kategória
- Csomagkezelők és frissítők
- Licenc
- BSD-3-Clause
- Ár
- Ingyenes
- Rendszerigény
- Windows 11 / 10
- Architektúra
- 64 bites, ARM64
- Telepítő
- Hordozható
- Verzió
- 1.4.2
- Listázott verziók
- 1
- Weboldal
- cvc5.github.io
- Scoop-csomag
- main/cvc5
Értékelések és vélemények
Még nincs vélemény. Az első értékelés lehet az Öné.
cvc5 – alternatívák
Összes ›-
Nyílt forráskódú386,2 M ↓ -
Nyílt forráskódú2,6 M ↓ -
Nyílt forráskódú183 E ↓ -
Nyílt forráskódú257,3 E ↓ -
Nyílt forráskódú78,1 E ↓ -
Nyílt forráskódú3,9 E ↓ -
Nyílt forráskódú9,8 E ↓ -
Nyílt forráskódú15 E ↓
Gyakori kérdések
Ingyenes a cvc5 program?
Igen. A cvc5 program nyílt forráskódú szoftver (licenc: BSD-3-Clause), ingyenesen letölthető és használható.
Biztonságos a cvc5 letöltése?
A fájl a github.com szerveréről érkezik; az ExeAtlas nem tárolja és nem módosítja. A letöltött fájl SHA256 ellenőrzőösszege összevethető az itt látható értékkel, és megnyitható hozzá a VirusTotal-jelentés is.
Fut a cvc5 program ARM processzoron (Windows on Arm)?
Igen, van natív ARM64-telepítő.
Használható a cvc5 program rendszergazdai jog nélkül?
Igen, hordozható: elég kicsomagolni és elindítani.
