Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. libLogic

libLogic

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

libLogic adalah perpustakaan perisian untuk teorem automatik membuktikan dengan keupayaan yang dipercayai-ke-tidak sama rata untuk membuktikan dengan betul dan cekap semua kenyataan yang boleh dibuktikan dalam mana-mana teori logik apa-apa perintah, tanpa bantuan manusia.

sejarah versi

  • Versi N/A diposkan pada 2011-08-12
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2011-08-12

Butiran Atur Cara

Atur Cara Berkaitan

  • CMS Utilities Percuma

    cmsutils menyediakan program yang membantu anda membangunkan, mencipta dan menterjemah cms (Postnuke, Xaraya, ...) modul. Ditulis di Delphi/Kylix

  • luabridge Percuma

    Luabridge adalah perpustakaan bebas kebergantungan yang ringan untuk mengeksport fungsi dan kelas C++ kepada persekitaran Lua. Ia menggunakan metaprogramming templatE C++ standard dan ditulis terhadap Lua 5.1.2.

  • svgconv Percuma

    svgconv adalah alat kandungan untuk menukar laluan SVG ke dalam format C yang boleh digunakan dengan mudah dengan OpenVG.

  • Mobile StrongBOX - Data Vault Percubaan Percuma

    Aplikasi perlindungan data terbaik, Peti Kuat Mudah Alih direka untuk penyimpanan maklumat peribadi yang selamat, seperti foto atau video, kata laluan, data untuk akaun bank, dokumen dan apa sahaja yang anda mahu lindungi.

  • embedded Finite State Machine (eFSM) Percuma

    Kemudahan Mesin Negeri Terbenam (FSM) yang boleh digunakan untuk model dan mengawal sistem reaktif atau negeri. Sistem ini boleh diwakili oleh mana-mana bilangan negeri. Peralihan negeri didorong oleh beberapa peristiwa. eFSM

  • Albert Percuma

    Albert adalah penjana dokumen untuk Common Lisp, setanding dengan Javadoc dan Doxygen. Pada masa ini ia menjana dokumentasi DocBook. Ia membaca definisi sistem ASDF dan dokumen sistem.

  • SETILog for Unix Percuma

    SETILog menyimpan beberapa statistik unit kerja SETI@home siap dalam fail CSV teks. Fail ini diperlukan oleh SETIWatch untuk menjejaki kerja-kerja yang telah dilengkapkan.

  • HappyDoc Percuma

    HappyDoc adalah alat untuk mengekstrak dokumentasi dari kod sumber Python. Ia berbeza dengan aplikasi sedemikian yang lain dengan fakta bahawa ia menggunakan pokok pasu untuk modul untuk mendapatkan maklumat dan tidak mengim

  • OpenCL .Net Percuma

    Projek ini cuba melakukan dua perkara. Pertama, ia menyediakan mengikat API OpenCL yang mencerminkan spesifikasi OpenCL 1.1 sekuat mungkin. Kedua, ia menyediakan abstrak tahap yang lebih tinggi API yang lebih . Net-like.

  • PAPAS: Path Planning Algorithm Suite Percuma

    PAPAS (Path Planning Algorithms Suite) adalah satu set algoritma yang dimaksudkan untuk perancangan laluan. Ia mempunyai algoritma biasa seperti PRM, RRT, Perancang Wavefront, dan lain-lain. Pelaksanaannya dilakukan dalam bah