Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. EulerSharp

EulerSharp 2011-06-24

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi
Muat turun

Euler adalah enjin inferens yang menyokong bukti berasaskan logik. Ia adalah alasan mundur-rantaian yang dipertingkatkan dengan pengesanan laluan Euler. Ia mempunyai pelaksanaan di Jawa, C#, Python, Javascript dan Prolog. Melalui N3 ia boleh dijalakan dengan W3C Cwm.

sejarah versi

  • Versi Euler-2011-06-24 diposkan pada 2011-06-25
  • Versi Euler-2011-03-25 diposkan pada 2011-03-25
    Beberapa pembaikan dan pengemaskinian

Butiran Atur Cara

Atur Cara Berkaitan

  • g15tools Percuma

    Alat ruang pengguna untuk papan kekunci g15 logitech. Alat ini boleh digunakan untuk memaparkan kandungan tersuai pada lcd dan juga untuk mengendalikan kekunci tambahan papan kekunci.

  • ARNUX Percuma

    Selamat datang ke ARNUX : Sumber Terbuka Tertanam Projek Linux. Turki pertama membenamkan distro Linux. Sistem operasi kedua-dua tertanam dan berasaskan konsol. Ditaja oleh ARDIC (Pusat Inovasi Pembangunan Penyelidikan Gunaan

  • Squirrel Shell Percuma

    Squirrel Shell adalah alternatif silang platform untuk cangkerang sistem seperti bash di Linux dan cmd.exe dalam Microsoft Windows. Ia berdasarkan bahasa skrip & sebut harga;Tupai&sebut harga;.

  • wekula - A web interface to Bacula Percuma

    wekula adalah antara muka web kepada sistem sandaran Bacula. Dengan itu anda akan dapat menukar seting Bacula, henti / mula Bacula daemon, lakukan carian fail tunggal & memulihkan ... Aditional ia akan menyediakan antara

  • libfallocate Percuma

    Filesystems boleh mengelakkan serpihan jika mereka tahu berapa fail besar.Perpustakaan ini menyediakan pembalut untuk syscall fallocate(seperti glibc-2.10+), tetapi juga tahu xfs / ocfs2 ioctl dan menyediakan fallbacks lebi

  • AAT Direct Connect Hub Project Percuma

    Skrip dan mod hab ditulis untuk meningkatkan OpenDCHub.Skrip Hab-Keselamatan menapis pengguna yang tidak berdaftar mengikut negara, dan menambah perintah op dan ciri keselamatan. Skrip statistik dan menyeronokkan juga dised

  • yydecode -- decodes yEnc/uuencoded binar Percuma

    yydecode adalah penyahkod yang sangat mudah alih untuk binari yEnc dikodkan padaUsenet. Ia menawarkan fungsi unggul untuk uudecode, dan boleh digunakan sebagai pengganti drop-in.

  • ice Updater Percuma

    Pengemaskinian ais - penyelesaian yang boleh disumpuhkan untuk kemas kini Pejabat MS automatik dan berpusat. Carian antarabangsa dan muat turun hotfix yang hilang dan pek perkhidmatan. Pasang tampalan senyap pada mesin tempat

  • GACSoft Free Driver Updater Percuma

    Penerangan Pengemaskinian Pemandu Bebas GACSoft:Alat pemandu percuma untuk mengemaskini pemandu PC dengan sangat baik hanya dalam beberapa minit ...Abad ini adalah masa teknologi maklumat. Dengan perkembangan teknologi sa

  • V-Drive Percuma

    V-Drive adalah aplikasi kecil yang mencipta cakera keras maya pada pc tingkap anda yang mengakses datanya dari ruang web peribadi anda yang disediakan oleh ISP anda, Uni dan lain-lain membolehkan anda mempunyai pemacu cakera