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 سے آتی ہے؛ تسلی کر لیں کہ یہ پبلشر کا سرکاری مرر ہے
- ڈاؤن لوڈ لنک HTTPS استعمال کرتا ہے
- اس فائل کا کوئی ہیش شائع نہیں ہوا
- لنک ابھی چیک نہیں ہوا
- سورس کوڈ عوامی طور پر دستیاب ہے
- ExeAtlas انسٹالرز کو نہ ہوسٹ کرتا ہے، نہ ریپ کرتا ہے اور نہ ان میں تبدیلی کرتا ہے
متعلقہ گائیڈ: Windows میں فائل کا SHA256 ہیش کیسے چیک کریں
حالیہ ورژن
تمام 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 کے متبادل
سب دیکھیں ›-
اوپن سورس1.2 لاکھ ↓ -
اوپن سورس1.3 لاکھ ↓ -
اوپن سورس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۔ متبادل کے صفحے پر ان کا موازنہ کیا گیا ہے۔
