An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Maelezo ya mchapishaji (Kiingereza)
cvc5 ni nini?
cvc5 ni programu ya chanzo huria ya Windows iliyo katika kundi la “Wasimamizi wa vifurushi na visasishaji”.
Usakinishaji na mahitaji
Mchapishaji hutoa visakinishi vya Portable kwa Windows ya 64-bit na ARM64. Inafanya kazi bila kusakinishwa (portable).
Faida / Hasara
Faida
- Chanzo huria: mtu yeyote anaweza kukagua na kujenga msimbo
- Toleo asili la ARM64 kwa Windows on Arm
- Portable: inafanya kazi bila kusakinishwa
Kwa ufupi: cvc5 ni zana ya chanzo huria ya kundi la “Wasimamizi wa vifurushi na visasishaji” kwa kompyuta za 64-bit na ARM64.
Je, ni salama kupakua cvc5?
- Faili inatolewa na github.com; hakikisha kuwa ni kioo (mirror) rasmi cha mchapishaji
- Kiungo cha kupakua kinatumia HTTPS
- Hashi ya SHA256 imechapishwa, hivyo unaweza kuthibitisha faili:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· Fungua ripoti ya VirusTotal ya hashi hii - Kiungo bado hakijakaguliwa
- Msimbo chanzo uko wazi kwa umma
- ExeAtlas haihifadhi, haifungi wala haibadilishi visakinishi
Mwongozo unaohusiana: Jinsi ya kukagua hashi ya SHA256 ya faili kwenye Windows
Matoleo ya karibuni
Toleo 1 ›| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 1.4.2Jipya zaidi | — | 64-bit ZIPARM64 ZIP |
Kusakinisha kwa mstari wa amri
Usakinishaji kimya ›scoop install main/cvc5Faili za programu (.exe): cvc5.exe
Mwongozo unaohusiana: Jinsi ya kutumia winget: sakinisha na sasisha programu
Taarifa
- Kategoria
- Wasimamizi wa vifurushi na visasishaji
- Leseni
- BSD-3-Clause
- Bei
- Bure
- Inahitaji
- Windows 11 / 10
- Usanifu
- 64-bit, ARM64
- Kisakinishi
- Portable
- Toleo
- 1.4.2
- Matoleo yaliyoorodheshwa
- 1
- Tovuti
- cvc5.github.io
- Kifurushi cha Scoop
- main/cvc5
Ukadiriaji na maoni
Bado hakuna maoni. Kuwa wa kwanza kuikadiria.
Mbadala wa cvc5
Ona zote ›-
Chanzo huriaM386.2 ↓ -
Chanzo huriaM2.6 ↓ -
Chanzo huriaelfu 183 ↓ -
Chanzo huriaelfu 257.3 ↓ -
UniGetUI (formerly WingetUI) - Pre-Release3.3.7-beta1Wasimamizi wa vifurushi na visasishaji · Martí ClimentChanzo huriaelfu 78.1 ↓ -
Chanzo huriaelfu 3.9 ↓ -
Chanzo huriaelfu 9.8 ↓ -
Chanzo huriaelfu 15 ↓
Maswali yanayoulizwa mara kwa mara
Je, cvc5 ni bure?
Ndiyo. cvc5 ni programu ya chanzo huria chini ya leseni ya BSD-3-Clause.
Je, ni salama kupakua cvc5?
Faili inapakuliwa kutoka github.com; ExeAtlas haihifadhi wala haibadilishi faili. Linganisha hashi yake ya SHA256 na ile iliyoonyeshwa hapa, au fungua ripoti ya VirusTotal ya hashi hiyo.
Je, cvc5 inafanya kazi kwenye ARM (Windows on Arm)?
Ndiyo, kuna kisakinishi asili cha ARM64.
Je, cvc5 inaweza kutumika bila haki za msimamizi?
Ndiyo, ni portable: fungua kumbukumbu (archive) na uiendeshe.
