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.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-এর বিকল্প
সব দেখুন ›-
ওপেন সোর্স১.২ লা ↓ -
ওপেন সোর্স১.৩ লা ↓ -
ওপেন সোর্স৪৬ হা ↓ -
ওপেন সোর্স৫০.৩ হা ↓ -
ওপেন সোর্স১২.২ হা ↓ -
ওপেন সোর্স১৭.৭ হা ↓ -
ওপেন সোর্স২৪.৬ হা ↓ - ওপেন সোর্স২৮.৬ হা ↓
সচরাচর জিজ্ঞাসিত প্রশ্ন
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। বিকল্প পাতায় এগুলোর তুলনা দেওয়া আছে।
