Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. libLogic
  5. Download

libLogic

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.0/5 - ‎1 ‎Suara

Tentang libLogic

libLogic adalah perpustakaan perangkat lunak untuk teori otomatis yang membuktikan dengan kemampuan yang diyakini tidak tertandingi untuk membuktikan dengan benar dan efisien semua pernyataan yang dapat dibuktikan dalam teori logis apa pun dari urutan apa pun, tanpa bantuan manusia.

Program Terkait

  • CMS Utilities Gratis

    cmsutil menyediakan program yang membantu Anda mengembangkan, membuat, dan menerjemahkan modul cms (Postnuke, Xaraya, ...). Ditulis dalam Delphi/Kylix

  • luabridge Gratis

    Luabridge adalah perpustakaan ringan dan bebas dependensi untuk mengekspor fungsi dan kelas C++ ke lingkungan Lua. Ini menggunakan metaprogramming template C + + yang sesuai standar dan ditulis terhadap Lua 5.1.2.

  • svgconv Gratis

    svgconv adalah alat konten untuk mengonversi jalur SVG menjadi format C yang dapat dengan mudah digunakan dengan OpenVG.

  • Mobile StrongBOX - Data Vault Uji Coba Gratis

    Aplikasi perlindungan data terbaik, Mobile StrongBOX dirancang untuk penyimpanan informasi pribadi yang aman, seperti foto atau video, kata sandi, data untuk rekening bank, dokumen, dan apa pun yang ingin Anda lindungi. Tuj

  • embedded Finite State Machine (eFSM) Gratis

    Fasilitas Finite State Machine (FSM) tertanam yang dapat digunakan untuk memodelkan dan mengontrol sistem reaktif atau stateful. Sistem ini dapat diwakili oleh sejumlah negara bagian. Transisi status didorong oleh sejumlah pe

  • Albert Gratis

    Albert adalah generator dok untuk Common Lisp, sebanding dengan Javadoc dan Doxygen. Saat ini menghasilkan dokumentasi DocBook. Ini membaca definisi sistem ASDF dan mendokumentasikan sistem.

  • SETILog for Unix Gratis

    SETILog menyimpan beberapa statistik dari unit kerja SETI@home yang selesai dalam file CSV teks. File ini diperlukan oleh SETIWatch untuk melacak workunits yang telah selesai.

  • HappyDoc Gratis

    HappyDoc adalah alat untuk mengekstrak dokumentasi dari kode sumber Python. Ini berbeda dari aplikasi lain dengan fakta bahwa ia menggunakan pohon parse untuk modul untuk mendapatkan informasi dan tidak mengimpor modul.

  • OpenCL .Net Gratis

    Proyek ini mencoba melakukan dua hal. Pertama, ini memberikan pengikatan ke API OpenCL yang mencerminkan spesifikasi OpenCL 1.1 sedekat mungkin. Kedua, memberikan abstraksi tingkat api yang lebih tinggi yang lebih banyak . Se

  • PAPAS: Path Planning Algorithm Suite Gratis

    PAPAS (Path Planning Algorithms Suite) adalah serangkaian algoritme yang ditujukan untuk perencanaan jalur. Ini memiliki algoritma umum seperti PRM, RRT, Wavefront Planner, dll. Implementasinya dilakukan dalam bahasa C dan ko