IDE for the TLA+ tools.
Մշակողի նկարագրությունը (անգլերեն)
Ի՞նչ է tlaplus-toolbox ծրագիրը
tlaplus-toolbox — բաց կոդով ծրագրային ապահովում Windows-ի համար, կատեգորիան՝ «Գիտություն և մաթեմատիկա»։ Windows-ից բացի, կան տարբերակներ Linux համակարգերի համար։
Տեղադրում և համակարգային պահանջներ
Մշակողն առաջարկում է Դյուրակիր տեղադրիչներ Ցանկացած պրոցեսոր Windows-ի համար։ Ծրագիրն աշխատում է առանց տեղադրման (դյուրակիր տարբերակ)։
Առավելություններ / Թերություններ
Առավելություններ
- Բաց կոդ․ ցանկացած մեկը կարող է այն ստուգել և ինքնուրույն կառուցել
- Դյուրակիր է՝ աշխատում է առանց տեղադրման
- Աշխատում է նաև Linux համակարգերում
Հակիրճ: tlaplus-toolbox — բաց կոդով ծրագիր Windows-ի համար («Գիտություն և մաթեմատիկա» կատեգորիա)․ կառուցվածքներ՝ Ցանկացած պրոցեսոր։
Հիմնական հնարավորություններ
- 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 սերվերից․ համոզվեք, որ դա մշակողի պաշտոնական հայելին է
- Ներբեռնման հղումն օգտագործում է HTTPS
- Այս ֆայլի համար հեշ հրապարակված չէ
- Հղումը դեռ ստուգված չէ
- Ելակետային կոդը բաց է
- ExeAtlas-ը տեղադրիչներ չի պահում, չի փաթեթավորում և չի փոփոխում
Առնչվող ուղեցույց: Ինչպես ստուգել ֆայլի SHA256 հեշը Windows-ում
Վերջին տարբերակները
Բոլոր 1 տարբերակները ›| Տարբերակ | Ամսաթիվ | Չափ | Ֆայլեր |
|---|---|---|---|
| 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։ Դրանց համեմատությունը՝ այլընտրանքների էջում։
