IDE for the TLA+ tools.
Lýsing útgefanda (enska)
Hvað er tlaplus-toolbox?
Það er opinn hugbúnaður fyrir Windows og tilheyrir flokknum Vísindi og stærðfræði. Auk Windows er það til fyrir Linux.
Uppsetning og kröfur
Útgefandinn býður uppsetningarforrit (Ferðaútgáfa) fyrir Hvaða örgjörvi sem er útgáfur af Windows. Það keyrir án uppsetningar (ferðaútgáfa).
Kostir / Gallar
Kostir
- Opinn hugbúnaður: hver sem er getur skoðað kóðann og byggt hann
- Ferðaútgáfa: keyrir án uppsetningar
- Keyrir einnig á Linux
Í stuttu máli: Forritið tlaplus-toolbox er opinn hugbúnaður í flokknum Vísindi og stærðfræði fyrir Windows (Hvaða örgjörvi sem er).
Helstu eiginleikar
- 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
Er óhætt að sækja forritið tlaplus-toolbox?
- Skráin kemur frá github.com; gangið úr skugga um að það sé opinber spegill útgefandans
- Niðurhalstengillinn notar HTTPS
- Ekkert gildi er birt fyrir þessa skrá
- Tengillinn hefur ekki verið prófaður enn
- Grunnkóðinn er opinn
- ExeAtlas hýsir hvorki, pakkar inn né breytir uppsetningarforritum
Tengdar leiðbeiningar: Hvernig á að athuga SHA256-gildi skráar í Windows
Nýlegar útgáfur
Allar 1 útgáfurnar ›| Útgáfa | Dagsetning | Stærð | Skrár |
|---|---|---|---|
| 1.8.0Nýjast | — | Hvaða örgjörvi sem er ZIP |
Uppsetning af skipanalínu
Hljóðlát uppsetning ›scoop install extras/tlaplus-toolboxForritaskrár (.exe): tlc.exe, toolbox.exe
Tengdar leiðbeiningar: Hvernig á að nota winget: setja upp og uppfæra forrit
Einnig fyrir önnur stýrikerfi
flatpak install flathub org.lamport.tla.toolboxUpplýsingar
- Flokkur
- Vísindi og stærðfræði
- Leyfi
- MIT
- Verð
- Ókeypis
- Aldursmat
- Allir aldurshópar
- Kröfur
- Windows 11 / 10
- Högun
- Hvaða örgjörvi sem er
- Uppsetningarforrit
- Ferðaútgáfa
- Önnur stýrikerfi
- Linux
- Útgáfa
- 1.8.0
- Skráðar útgáfur
- 1
- Vefsíða
- lamport.azurewebsites.net
- Scoop-pakki
- extras/tlaplus-toolbox
Einkunnir og umsagnir
Engar umsagnir enn. Gefðu fyrstu einkunnina.
Valkostir í stað forritsins tlaplus-toolbox
Sjá allt ›-
Opinn hugbúnaður118 þ. ↓ -
Opinn hugbúnaður126,7 þ. ↓ -
Opinn hugbúnaður46 þ. ↓ -
Opinn hugbúnaður50,3 þ. ↓ -
Opinn hugbúnaður12,2 þ. ↓ -
Opinn hugbúnaður17,7 þ. ↓ -
Opinn hugbúnaður24,6 þ. ↓ - Opinn hugbúnaður28,6 þ. ↓
Algengar spurningar
Er tlaplus-toolbox ókeypis?
Já. Forritið tlaplus-toolbox er opinn hugbúnaður með leyfinu MIT.
Er óhætt að sækja forritið tlaplus-toolbox?
Niðurhalið kemur frá github.com; ExeAtlas hýsir hvorki né breytir skránni.
Keyrir tlaplus-toolbox á ARM (Windows on Arm)?
Uppsetningarforritið er óháð högun örgjörvans.
Er hægt að nota tlaplus-toolbox án stjórnandaréttinda?
Já, það er ferðaútgáfa: afþjappið og keyrið.
Hvaða forrit koma í stað forritsins tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! og JASP. Síðan um valkosti ber þau saman.
