cvc5 — აქ ჩამოთვლილია 1 ვერსია: პირველი , მიმდინარე 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