IDE for the TLA+ tools.
ప్రచురణకర్త ఇచ్చిన వివరణ (ఇంగ్లీష్)
tlaplus-toolbox అంటే ఏమిటి?
tlaplus-toolbox ఒక ఓపెన్ సోర్స్ Windows సాఫ్ట్‌వేర్ (వర్గం: సైన్స్ మరియు గణితం). Windows తో పాటు ఇది Linux కోసం కూడా అందుబాటులో ఉంది.
ఇన్‌స్టాలేషన్ మరియు సిస్టమ్ అవసరాలు
ప్రచురణకర్త ఏ CPU అయినా Windows కోసం పోర్టబుల్ ఇన్‌స్టాలర్లు అందిస్తున్నారు. దీన్ని ఇన్‌స్టాల్ చేయకుండానే రన్ చేయవచ్చు (పోర్టబుల్).
అనుకూలతలు / లోపాలు
అనుకూలతలు
- ఓపెన్ సోర్స్: ఎవరైనా దీని కోడ్ చూడవచ్చు, బిల్డ్ చేయవచ్చు
- పోర్టబుల్: ఇన్‌స్టాల్ లేకుండానే రన్ అవుతుంది
- Linuxలో కూడా పనిచేస్తుంది
సారాంశం: tlaplus-toolbox ఏ CPU అయినా PCల కోసం ఒక ఓపెన్ సోర్స్ 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 ఇన్‌స్టాలర్‌ను హోస్ట్ చేయదు, రాప్ చేయదు, మార్చదు
సంబంధిత గైడ్: Windowsలో ఫైల్ SHA256 హ్యాష్ ఎలా చెక్ చేయాలి
ఇటీవలి వెర్షన్లు
మొత్తం 1 వెర్షన్లు ›| వెర్షన్ | తేదీ | సైజ్ | ఫైల్‌లు |
|---|---|---|---|
| 1.8.0తాజా | — | ఏ CPU అయినా ZIP |
కమాండ్ లైన్ ద్వారా ఇన్‌స్టాల్
సైలెంట్ ఇన్‌స్టాల్ ›scoop install extras/tlaplus-toolboxప్రోగ్రామ్ ఫైల్‌లు (.exe): tlc.exe, toolbox.exe
సంబంధిత గైడ్: winget ఎలా వాడాలి: యాప్‌లు ఇన్‌స్టాల్, అప్‌డేట్
ఇతర సిస్టమ్‌లకు కూడా
flatpak install flathub org.lamport.tla.toolboxసమాచారం
- వర్గం
- సైన్స్ మరియు గణితం
- లైసెన్స్
- MIT
- ధర
- ఉచితం
- కంటెంట్ రేటింగ్
- అన్ని వయసుల వారికి
- అవసరమైన సిస్టమ్
- Windows 11 / 10
- ఆర్కిటెక్చర్
- ఏ CPU అయినా
- ఇన్‌స్టాలర్
- పోర్టబుల్
- ఇతర ప్లాట్‌ఫామ్‌లు
- 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)లో పనిచేస్తుందా?
ఇన్‌స్టాలర్ ఏ ఆర్కిటెక్చర్‌కూ కట్టుబడి లేదు (architecture-neutral).
అడ్మినిస్ట్రేటర్ హక్కులు లేకుండా tlaplus-toolbox వాడవచ్చా?
అవును, ఇది పోర్టబుల్: ఫైల్‌ను అన్‌ప్యాక్ చేసి రన్ చేయండి.
tlaplus-toolboxకు ప్రత్యామ్నాయాలు ఏవి?
Stellarium, KiCad, Quarto, Qalculate! మరియు JASP. ప్రత్యామ్నాయాల పేజీలో వీటి పోలిక ఉంది.
