An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Julkaisijan kuvaus (englanti)
Mikä on cvc5?
cvc5 on avoimen lähdekoodin ohjelmisto Windowsille (kategoria: Paketinhallinta ja päivittäjät).
Asennus ja järjestelmävaatimukset
Julkaisija tarjoaa asennusohjelmat seuraaville: 64-bittinen ja ARM64; tiedostomuodot: Portable. Ohjelma toimii ilman asennusta (portable).
Plussat / Miinukset
Plussat
- Avoin lähdekoodi: kuka tahansa voi tarkastella koodia ja kääntää sen itse
- Natiivi ARM64-versio Windows on Arm -laitteille
- Portable: toimii ilman asennusta
Lyhyesti: cvc5 on avoimen lähdekoodin työkalu kategoriasta Paketinhallinta ja päivittäjät (64-bittinen ja ARM64).
Onko cvc5-ohjelman lataaminen turvallista?
- Tiedoston jakelee github.com; tarkista, että kyseessä on julkaisijan virallinen peilipalvelin
- Latauslinkki käyttää HTTPS-yhteyttä
- SHA256-tiiviste on julkaistu, joten tiedoston voi tarkistaa:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· Avaa tämän tiivisteen VirusTotal-raportti - Linkkiä ei ole vielä tarkistettu
- Lähdekoodi on julkinen
- ExeAtlas ei säilytä, kääri eikä muokkaa asennusohjelmia
Aiheeseen liittyvä opas: Näin tarkistat tiedoston SHA256-tiivisteen Windowsissa
Viimeisimmät versiot
Kaikki versiot (1) ›| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 1.4.2Uusin | — | 64-bittinen ZIPARM64 ZIP |
Asennus komentoriviltä
Hiljainen asennus ›scoop install main/cvc5Ohjelmatiedostot (.exe): cvc5.exe
Aiheeseen liittyvä opas: winget-opas: ohjelmien asennus ja päivitys
Tiedot
- Kategoria
- Paketinhallinta ja päivittäjät
- Lisenssi
- BSD-3-Clause
- Hinta
- Ilmainen
- Vaatimukset
- Windows 11 / 10
- Arkkitehtuuri
- 64-bittinen, ARM64
- Asennusohjelma
- Portable
- Versio
- 1.4.2
- Versioita luettelossa
- 1
- Verkkosivusto
- cvc5.github.io
- Scoop-paketti
- main/cvc5
Arviot ja arvostelut
Ei vielä arvosteluja. Anna ensimmäinen arvio.
Vaihtoehtoja cvc5-ohjelmalle
Näytä kaikki ›-
Avoin lähdekoodi386,2 milj. ↓ -
Avoin lähdekoodi2,6 milj. ↓ -
Avoin lähdekoodi183 t. ↓ -
Avoin lähdekoodi257,3 t. ↓ -
Avoin lähdekoodi78,1 t. ↓ -
Avoin lähdekoodi3,9 t. ↓ -
Avoin lähdekoodi9,8 t. ↓ -
Avoin lähdekoodi15 t. ↓
Usein kysytyt kysymykset
Onko cvc5 ilmainen?
Kyllä. cvc5 on avoimen lähdekoodin ohjelmisto, lisenssi BSD-3-Clause.
Onko cvc5-ohjelman lataaminen turvallista?
Tiedosto ladataan osoitteesta github.com; ExeAtlas ei säilytä eikä muuta tiedostoa. Vertaa ladatun tiedoston SHA256-tiivistettä tällä sivulla näkyvään tai avaa tiivisteen VirusTotal-raportti.
Toimiiko cvc5 ARM-koneissa (Windows on Arm)?
Kyllä, saatavilla on natiivi ARM64-asennusohjelma.
Voiko cvc5-ohjelmaa käyttää ilman järjestelmänvalvojan oikeuksia?
Kyllä, ohjelma on portable: pura ja käynnistä.
