У спісе 1 версія праграмы cvc5, бягучая — 1.4.2. Кожная версія вядзе на ўсталёўшчыкі з сервера распрацоўшчыка.
| Версія | Дата | Памер | Файлы |
|---|---|---|---|
| 1.4.2Апошняя | — | 64-біт ZIPARM64 ZIP |
cvc5: спампаваць старыя версіі
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- ЛіцэнзіяАдкрыты код
- Версія1.4.2
- ПатрабаванніWindows 10, 11
Самае папулярнае ў катэгорыі «Менеджары пакетаў і абнаўленне»
Паказаць усе-
ChocolateyМенеджары пакетаў і абнаўленне · Chocolatey Software, Inc. -
NuGetМенеджары пакетаў і абнаўленне · Microsoft Corporation -
uvМенеджары пакетаў і абнаўленне · Astral Software Inc. -
Chocolatey GUIМенеджары пакетаў і абнаўленне · Chocolatey -
Conan Package ManagerМенеджары пакетаў і абнаўленне · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleaseМенеджары пакетаў і абнаўленне · Martí Climent -
UniGetUIМенеджары пакетаў і абнаўленне · Devolutions inc. -
topgradeМенеджары пакетаў і абнаўленне · topgrade-rs - ghostscriptМенеджары пакетаў і абнаўленне
-
rigМенеджары пакетаў і абнаўленне · Posit Software, PBC