IDE for the TLA+ tools.
Περιγραφή του εκδότη (Αγγλικά)
Τι είναι το tlaplus-toolbox;
Το tlaplus-toolbox είναι λογισμικό ανοιχτού κώδικα για Windows της κατηγορίας «Επιστήμη και μαθηματικά». Εκτός από τα Windows, διατίθεται και για Linux.
Εγκατάσταση και απαιτήσεις
Ο εκδότης διαθέτει αρχεία εγκατάστασης Φορητό για Windows Οποιοσδήποτε επεξεργαστής. Λειτουργεί χωρίς εγκατάσταση (φορητή έκδοση).
Πλεονεκτήματα / Μειονεκτήματα
Πλεονεκτήματα
- Ανοιχτός κώδικας: ο καθένας μπορεί να τον ελέγξει και να τον μεταγλωττίσει
- Φορητό: λειτουργεί χωρίς εγκατάσταση
- Λειτουργεί και σε Linux
Συνοπτικά: Το tlaplus-toolbox είναι εργαλείο ανοιχτού κώδικα της κατηγορίας «Επιστήμη και μαθηματικά» για υπολογιστές Οποιοσδήποτε επεξεργαστής.
Βασικές δυνατότητες
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
AppStream · Flathub
Είναι ασφαλής η λήψη του tlaplus-toolbox;
- Το αρχείο διατίθεται από το github.com· ελέγξτε ότι πρόκειται για επίσημο mirror του εκδότη
- Ο σύνδεσμος λήψης χρησιμοποιεί HTTPS
- Δεν δημοσιεύεται hash για αυτό το αρχείο
- Ο σύνδεσμος δεν έχει ελεγχθεί ακόμη
- Ο πηγαίος κώδικας είναι δημόσιος
- Το ExeAtlas δεν φιλοξενεί, δεν τυλίγει και δεν τροποποιεί αρχεία εγκατάστασης
Σχετικός οδηγός: Έλεγχος SHA256 αρχείου στα Windows
Πρόσφατες εκδόσεις
Η μία έκδοση ›| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 1.8.0Τελευταία | — | Οποιοσδήποτε επεξεργαστής ZIP |
Εγκατάσταση από τη γραμμή εντολών
Αθόρυβη εγκατάσταση ›scoop install extras/tlaplus-toolboxΑρχεία προγραμμάτων (.exe): tlc.exe, toolbox.exe
Σχετικός οδηγός: Οδηγός winget: εγκατάσταση και ενημέρωση προγραμμάτων
Διαθέσιμο και για άλλα συστήματα
flatpak install flathub org.lamport.tla.toolboxΠληροφορίες
- Κατηγορία
- Επιστήμη και μαθηματικά
- Άδεια
- MIT
- Τιμή
- Δωρεάν
- Διαβάθμιση περιεχομένου
- Για όλες τις ηλικίες
- Απαιτήσεις
- Windows 11 / 10
- Αρχιτεκτονική
- Οποιοσδήποτε επεξεργαστής
- Αρχείο εγκατάστασης
- Φορητό
- Άλλες πλατφόρμες
- Linux
- Έκδοση
- 1.8.0
- Καταγεγραμμένες εκδόσεις
- 1
- Ιστότοπος
- lamport.azurewebsites.net
- Πακέτο Scoop
- extras/tlaplus-toolbox
Βαθμολογίες και κριτικές
Δεν υπάρχουν ακόμη κριτικές. Γίνετε οι πρώτοι που θα βαθμολογήσουν.
Εναλλακτικά του tlaplus-toolbox
Όλα ›-
Ανοιχτού κώδικα118 χιλ. ↓ -
Ανοιχτού κώδικα126,7 χιλ. ↓ -
Ανοιχτού κώδικα46 χιλ. ↓ -
Ανοιχτού κώδικα50,3 χιλ. ↓ -
Ανοιχτού κώδικα12,2 χιλ. ↓ -
Ανοιχτού κώδικα17,7 χιλ. ↓ -
Ανοιχτού κώδικα24,6 χιλ. ↓ - Ανοιχτού κώδικα28,6 χιλ. ↓
Συχνές ερωτήσεις
Είναι δωρεάν το tlaplus-toolbox;
Ναι. Το tlaplus-toolbox είναι λογισμικό ανοιχτού κώδικα με άδεια MIT και η λήψη και η χρήση του είναι δωρεάν.
Είναι ασφαλής η λήψη του tlaplus-toolbox;
Το αρχείο κατεβαίνει από το github.com· το ExeAtlas δεν φιλοξενεί ούτε τροποποιεί το αρχείο.
Λειτουργεί το tlaplus-toolbox σε ARM (Windows on Arm);
Το αρχείο εγκατάστασης δεν εξαρτάται από την αρχιτεκτονική.
Μπορώ να χρησιμοποιήσω το tlaplus-toolbox χωρίς δικαιώματα διαχειριστή;
Ναι, είναι φορητό: αρκεί να το αποσυμπιέσετε και να το εκτελέσετε.
Ποια είναι τα εναλλακτικά του tlaplus-toolbox;
Stellarium, KiCad, Quarto, Qalculate! και JASP. Η σελίδα εναλλακτικών τα συγκρίνει.
