ພາສາອັງກິດພາສາຝຣັ່ງແອສປາໂຍນ

OnWorks favicon

equ-iitg ດາວໂຫຼດຕົວກວດທຽບເທົ່າທີ່ເປັນທາງການສໍາລັບ Windows

ດາວໂຫຼດຟຣີ equ-iitg formal equivalence checker Windows app to run online win Wine in Ubuntu online, Fedora online ຫຼື Debian online

ນີ້ແມ່ນແອັບ Windows ທີ່ມີຊື່ວ່າ equ-iitg official equ-iitg formal equivalence checker which latest release can be downloaded as verified_benchmarks_1.2.tar.gz. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີເຮັດວຽກ.

ດາວ​ນ​໌​ໂຫລດ​ແລະ​ດໍາ​ເນີນ​ການ​ອອນ​ໄລ​ນ​໌ app ນີ້​ມີ​ຊື່ equ-iitg ຕົວ​ກວດ​ສອບ​ການ​ທຽບ​ເທົ່າ​ທີ່​ເປັນ​ທາງ​ການ​ກັບ OnWorks ໄດ້​ຟຣີ​.

ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:

- 1. ດາວ​ໂຫຼດ​ຄໍາ​ຮ້ອງ​ສະ​ຫມັກ​ນີ້​ໃນ PC ຂອງ​ທ່ານ​.

- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.

- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.

- 4. ເລີ່ມ emulator ອອນ ໄລ ນ ໌ OS OnWorks ຈາກ ເວັບ ໄຊ ທ ໌ ນີ້, ແຕ່ ດີກ ວ່າ Windows ອອນ ໄລ ນ ໌ emulator.

- 5. ຈາກ OnWorks Windows OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.

- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກແລະຕິດຕັ້ງມັນ.

- 7. ດາວໂຫລດ Wine ຈາກບ່ອນເກັບມ້ຽນຊອບແວການແຈກຢາຍ Linux ຂອງທ່ານ. ເມື່ອ​ຕິດ​ຕັ້ງ​ແລ້ວ​, ທ່ານ​ສາ​ມາດ​ຄລິກ​ສອງ​ຄັ້ງ app ເພື່ອ​ດໍາ​ເນີນ​ການ​ໃຫ້​ເຂົາ​ເຈົ້າ​ກັບ Wine​. ນອກນັ້ນທ່ານຍັງສາມາດລອງ PlayOnLinux, ການໂຕ້ຕອບທີ່ແປກປະຫຼາດໃນໄລຍະ Wine ທີ່ຈະຊ່ວຍໃຫ້ທ່ານຕິດຕັ້ງໂປລແກລມ Windows ແລະເກມທີ່ນິຍົມ.

ເຫຼົ້າແວງເປັນວິທີການແລ່ນຊອບແວ Windows ໃນ Linux, ແຕ່ບໍ່ມີ Windows ທີ່ຕ້ອງການ. ເຫຼົ້າແວງແມ່ນຊັ້ນຄວາມເຂົ້າກັນໄດ້ຂອງ Windows ແຫຼ່ງເປີດທີ່ສາມາດເອີ້ນໃຊ້ໂຄງການ Windows ໂດຍກົງໃນ desktop Linux ໃດກໍໄດ້. ໂດຍພື້ນຖານແລ້ວ, Wine ກໍາລັງພະຍາຍາມປະຕິບັດໃຫມ່ຢ່າງພຽງພໍຂອງ Windows ຕັ້ງແຕ່ເລີ່ມຕົ້ນເພື່ອໃຫ້ມັນສາມາດດໍາເນີນການຄໍາຮ້ອງສະຫມັກ Windows ທັງຫມົດໄດ້ໂດຍບໍ່ຕ້ອງໃຊ້ Windows.

equ-iitg ຕົວກວດສອບການທຽບເທົ່າຢ່າງເປັນທາງການ


Ad


ລາຍລະອຽດ

ນີ້​ແມ່ນ​ເປັນ​ເຄື່ອງ​ມື​ການ​ກວດ​ສອບ​ການ​ທຽບ​ເທົ່າ​ຢ່າງ​ເປັນ​ທາງ​ການ​ພັດ​ທະ​ນາ @ IIT Guwahati ທີ່​ສາ​ມາດ​ຖືກ​ນໍາ​ໃຊ້​ເພື່ອ​ກວດ​ສອບ​ການ​ທຽບ​ເທົ່າ​ທີ່​ເປັນ​ປະ​ໂຫຍດ​ລະ​ຫວ່າງ​ວົງ​ຈອນ (ລວມ​ແລະ​ຕາມ​ລໍາ​ດັບ​) ຂອງ​ຮູບ​ແບບ BLIF​, verilog ແລະ EDIF​.



ພາສາການຂຽນໂປຣແກຣມ

C


ປະເພດ

ການກໍ່ສ້າງເຄື່ອງມື, ການອອກແບບອັດຕະໂນມັດແບບເອເລັກໂຕຣນິກ (EDA), ການທົດສອບ

ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/equiitg/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.


ເຊີບເວີ ແລະສະຖານີເຮັດວຽກຟຣີ

ດາວໂຫຼດແອັບ Windows ແລະ Linux

  • 1
    i Report-Designer ສຳ ລັບ JasperReports
    i Report-Designer ສຳ ລັບ JasperReports
    ໝາຍເຫດ: iReport/Jaspersoft Studio Support
    ປະກາດ: ເປັນສະບັບ 5.5.0,
    Jaspersoft Studio ຈະເປັນທາງການ
    ລູກຄ້າອອກແບບສໍາລັບ JasperReports. iReport
    ຈະ ...
    ດາວໂຫລດ iReport-Designer ສໍາລັບ JasperReports
  • 2
    PostInstallerF
    PostInstallerF
    PostInstallerF ຈະຕິດຕັ້ງທັງໝົດ
    ຊອບແວທີ່ Fedora Linux ແລະອື່ນໆ
    ບໍ່ລວມເອົາຕາມຄ່າເລີ່ມຕົ້ນ, ຫຼັງຈາກ
    ແລ່ນ Fedora ເປັນຄັ້ງທໍາອິດ. ຂອງມັນ
    ງ່າຍ​ສໍາ​ລັບ ...
    ດາວໂຫລດ PostInstallerF
  • 3
    ສາຍແຮ່
    ສາຍແຮ່
    ໂຄງການເສັ້ນທາງໄດ້ຖືກຍ້າຍໄປ
    https://strace.io. strace is a
    ການວິນິດໄສ, debugging ແລະຄໍາແນະນໍາ
    userspace tracer ສໍາລັບ Linux. ມັນຖືກນໍາໃຊ້
    ຕິດ​ຕາມ​ກວດ​ກາ ...
    ດາວ​ໂຫຼດ​ຕິດ​ຕາມ​
  • 4
    gMKVEExtractGUI
    gMKVEExtractGUI
    GUI ສໍາລັບຜົນປະໂຫຍດ mkvextract (ສ່ວນຫນຶ່ງຂອງ
    MKVToolNix​) ທີ່​ປະ​ກອບ​ສ່ວນ​ຫຼາຍ (ຖ້າ​ຫາກ​ວ່າ​
    ບໍ່ແມ່ນທັງຫມົດ) ການເຮັດວຽກຂອງ mkvextract ແລະ
    mkvinfo ຜົນປະໂຫຍດ. ຂຽນໃນ C#NET 4.0,...
    ດາວໂຫລດ gMKVEExtractGUI
  • 5
    ຫໍສະໝຸດ JasperReports
    ຫໍສະໝຸດ JasperReports
    ຫໍສະຫມຸດ JasperReports ແມ່ນ
    ແຫຼ່ງເປີດທີ່ນິຍົມທີ່ສຸດໃນໂລກ
    ທາງທຸລະກິດແລະການລາຍງານ
    ເຄື່ອງຈັກ. ມັນຖືກຂຽນທັງຫມົດໃນ Java
    ແລະ​ມັນ​ສາ​ມາດ ...
    ດາວໂຫລດ JasperReports Library
  • 6
    ປຶ້ມ Frappe
    ປຶ້ມ Frappe
    Frappe Books ເປັນແຫຼ່ງຟຣີ ແລະເປີດ
    ຊອບ​ແວ​ການ​ຮັກ​ສາ​ປື້ມ​ບັນ​ທຶກ desktop ວ່າ​
    ງ່າຍ​ດາຍ​ແລະ​ດີ​ອອກ​ແບບ​ທີ່​ຈະ​ນໍາ​ໃຊ້​ໂດຍ​
    ທຸລະກິດຂະໜາດນ້ອຍ ແລະນັກອິດສະລະ. ມັນ...
    ດາວໂຫລດປື້ມ Frappe
  • ເພີ່ມເຕີມ »

Linux ຄຳ ສັ່ງ

Ad