An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Beskrywing deur die uitgewer (Engels)
Wat is cvc5?
cvc5 is Windows-sagteware met oop bronkode (kategorie: Pakketbestuurders en bywerkers).
Installasie en vereistes
Die uitgewer verskaf installeerders vir 64-bis en ARM64 Windows (Draagbaar). Dit werk sonder installasie (draagbaar).
Voordele / Nadele
Voordele
- Oopbron: enigeen kan die kode nagaan en self bou
- Inheemse ARM64-weergawe vir Windows on Arm
- Draagbaar: werk sonder installasie
Kortliks: cvc5 is ’n oopbronprogram in die kategorie Pakketbestuurders en bywerkers vir 64-bis en ARM64 rekenaars.
Is dit veilig om cvc5 af te laai?
- Die lêer word bedien deur github.com; maak seker dit is die uitgewer se amptelike spieëlwerf
- Die aflaaiskakel gebruik HTTPS
- ’n SHA256-hashwaarde is gepubliseer, sodat die lêer nagegaan kan word:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· Maak die VirusTotal-verslag vir hierdie hashwaarde oop - Die skakel is nog nie nagegaan nie
- Die bronkode is openbaar
- ExeAtlas huisves, omvou of verander geen installeerders nie
Verwante gids: Hoe om ’n lêer se SHA256-hashwaarde op Windows na te gaan
Onlangse weergawes
Al 1 weergawes ›| Weergawe | Datum | Grootte | Lêers |
|---|---|---|---|
| 1.4.2Nuutste | — | 64-bis ZIPARM64 ZIP |
Installeer vanaf die opdragreël
Stil installasie ›scoop install main/cvc5Programlêers (.exe): cvc5.exe
Verwante gids: Hoe om winget te gebruik: programme installeer en bywerk
Inligting
- Kategorie
- Pakketbestuurders en bywerkers
- Lisensie
- BSD-3-Clause
- Prys
- Gratis
- Vereis
- Windows 11 / 10
- Argitektuur
- 64-bis, ARM64
- Installeerder
- Draagbaar
- Weergawe
- 1.4.2
- Weergawes gelys
- 1
- Webwerf
- cvc5.github.io
- Scoop-pakket
- main/cvc5
Graderings en resensies
Nog geen resensies nie. Wees die eerste om dit te gradeer.
Alternatiewe vir cvc5
Sien alles ›-
Oopbron386,2 m ↓ -
Oopbron2,6 m ↓ -
Oopbron183 k ↓ -
Oopbron257,3 k ↓ -
Oopbron78,1 k ↓ -
Oopbron3,9 k ↓ -
Oopbron9,8 k ↓ -
Oopbron15 k ↓
Algemene vrae
Is cvc5 gratis?
Ja. cvc5 is oopbronsagteware onder die BSD-3-Clause-lisensie.
Is dit veilig om cvc5 af te laai?
Die aflaai kom van github.com; ExeAtlas huisves of verander nie die lêer nie. Vergelyk die SHA256-hashwaarde daarvan met die een wat hier gewys word, of maak die VirusTotal-verslag vir daardie hashwaarde oop.
Werk cvc5 op ARM (Windows on Arm)?
Ja, daar is ’n inheemse ARM64-installeerder.
Kan cvc5 sonder administrateurregte gebruik word?
Ja, dit is draagbaar: pak dit uit en laat dit loop.
