Εδώ καταγράφονται 1 έκδοση του cvc5, από τις έως την τρέχουσα 1.4.2. Κάθε έκδοση οδηγεί στα αρχεία εγκατάστασης του ίδιου του εκδότη.
| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 1.4.2Τελευταία | — | 64-bit 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