An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Väljaandja kirjeldus (inglise)
Mis on cvc5?
Programm cvc5 on avatud lähtekoodiga tarkvara Windowsile. Kategooria: paketihaldurid ja uuendajad.
Paigaldamine ja nõuded
Väljaandja pakub paigaldusfaile vormingus Portatiivne; saadaval on 64-bitine ja ARM64 versioon. Programm töötab ilma paigaldamata (portatiivne).
Plussid / Miinused
Plussid
- Avatud lähtekood: koodi saab igaüks üle vaadata ja ise kompileerida
- Natiivne ARM64-versioon Windows on Armi jaoks
- Portatiivne: töötab ilma paigaldamata
Kokkuvõttes: cvc5 on avatud lähtekoodiga Windowsi tööriist kategooriast „Paketihaldurid ja uuendajad“ (64-bitine ja ARM64).
Kas programmi cvc5 allalaadimine on ohutu?
- Faili jagab github.com; kontrolli, et see on väljaandja ametlik peegelsait
- Allalaadimislink kasutab HTTPS-i
- SHA256-räsi on avaldatud, nii et faili saab kontrollida:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· Ava selle räsi VirusTotali aruanne - Linki pole veel kontrollitud
- Lähtekood on avalik
- ExeAtlas ei majuta, ümbrista ega muuda paigaldusfaile
Seotud juhend: Kuidas kontrollida faili SHA256-räsi Windowsis
Viimased versioonid
Ainus versioon ›| Versioon | Kuupäev | Suurus | Failid |
|---|---|---|---|
| 1.4.2Uusim | — | 64-bitine ZIPARM64 ZIP |
Paigaldamine käsurealt
Vaikne paigaldus ›scoop install main/cvc5Programmifailid (.exe): cvc5.exe
Seotud juhend: Kuidas kasutada wingetit: paigaldus ja uuendamine
Teave
- Kategooria
- Paketihaldurid ja uuendajad
- Litsents
- BSD-3-Clause
- Hind
- Tasuta
- Nõuded
- Windows 11 / 10
- Arhitektuur
- 64-bitine, ARM64
- Paigaldaja
- Portatiivne
- Versioon
- 1.4.2
- Versioone kataloogis
- 1
- Veebileht
- cvc5.github.io
- Scoopi pakett
- main/cvc5
Hinnangud ja arvustused
Arvustusi veel pole. Hinda esimesena.
Programmi cvc5 alternatiivid
Vaata kõiki ›-
Avatud lähtekood386,2 mln ↓ -
Avatud lähtekood2,6 mln ↓ -
Avatud lähtekood183 tuh ↓ -
Avatud lähtekood257,3 tuh ↓ -
Avatud lähtekood78,1 tuh ↓ -
Avatud lähtekood3,9 tuh ↓ -
Avatud lähtekood9,8 tuh ↓ -
Avatud lähtekood15 tuh ↓
Korduma kippuvad küsimused
Kas cvc5 on tasuta?
Jah. cvc5 on avatud lähtekoodiga tarkvara (litsents BSD-3-Clause).
Kas programmi cvc5 allalaadimine on ohutu?
Fail laaditakse alla aadressilt github.com; ExeAtlas faili ei majuta ega muuda. Võrdle faili SHA256-räsi siin näidatuga või ava selle räsi VirusTotali aruanne.
Kas cvc5 töötab ARM-protsessoriga (Windows on Arm)?
Jah, olemas on natiivne ARM64-paigaldaja.
Kas programmi cvc5 saab kasutada ilma administraatori õigusteta?
Jah, see on portatiivne: paki lahti ja käivita.
