IDE for the TLA+ tools.
வெளியீட்டாளரின் விளக்கம் (ஆங்கிலம்)
tlaplus-toolbox என்றால் என்ன?
tlaplus-toolbox, அறிவியல் மற்றும் கணிதம் பிரிவைச் சேர்ந்த ஒரு ஓப்பன் சோர்ஸ் Windows மென்பொருள். Windows தவிர, Linux இயங்குதளங்களிலும் இது கிடைக்கிறது.
நிறுவலும் தேவைகளும்
வெளியீட்டாளர் அனைத்து CPU-களும் Windows-க்கு போர்ட்டபிள் வடிவில் நிறுவிகளை வழங்குகிறார். இதை நிறுவாமலேயே இயக்கலாம் (போர்ட்டபிள்).
நிறைகள் / குறைகள்
நிறைகள்
- ஓப்பன் சோர்ஸ்: குறியீட்டை யார் வேண்டுமானாலும் பார்க்கலாம், பில்ட் செய்யலாம்
- போர்ட்டபிள்: நிறுவல் தேவையில்லை
- Linux இயங்குதளங்களிலும் இயங்கும்
சுருக்கமாக: tlaplus-toolbox ஒரு அனைத்து CPU-களும் கணினிகளுக்கான ஓப்பன் சோர்ஸ் அறிவியல் மற்றும் கணிதம் பிரிவுக் கருவி.
முக்கிய அம்சங்கள்
- 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) கணினிகளில் இயங்குமா?
இதன் நிறுவி எந்தக் குறிப்பிட்ட CPU கட்டமைப்பையும் சார்ந்ததல்ல.
நிர்வாகி உரிமைகள் இல்லாமல் tlaplus-toolbox பயன்படுத்த முடியுமா?
ஆம், இது போர்ட்டபிள்: பிரித்தெடுத்து (unzip) நேரடியாக இயக்கலாம்.
tlaplus-toolbox மென்பொருளுக்கு மாற்றுகள் என்ன?
Stellarium, KiCad, Quarto, Qalculate! மற்றும் JASP. மாற்றுகள் பக்கத்தில் இவை ஒப்பிடப்பட்டுள்ளன.
