Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. libLogic
  5. Download

libLogic

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 3.0/5 - ‎1 ‎Oy

Hakkı -nda libLogic

libLogic doğru ve verimli bir şekilde herhangi bir düzenin herhangi bir mantıksal teori, hiçbir insan yardımı ile tam olarak tüm kanıtlanabilir ifadeleri kanıtlamak için inanılan-be-eşsiz yeteneği ile kanıtlayan otomatik teorem için bir yazılım kütüphanesidir.

İlgili Programlar

  • CMS Utilities Ücret -siz

    cmsutils cms (Postnuke, Xaraya, ...) modülleri geliştirmenize, oluşturmanıza ve çevirmenize yardımcı olan programlar sağlar. Delphi/Kylix tarafından yazıldı

  • luabridge Ücret -siz

    Luabridge, C++ işlevlerini ve sınıflarını Lua ortamlarına aktarmak için hafif, bağımlılıkiçermeyen bir kitaplıktır. Standart uyumlu C++ şablon metaprogramming kullanır ve Lua 5.1.2 karşı yazılır.

  • svgconv Ücret -siz

    svgconv, SVG yollarını OpenVG ile kolayca kullanılabilen bir C formatına dönüştürmek için kullanılan bir içerik aracıdır.

  • Mobile StrongBOX - Data Vault Ücretsiz Deneme

    En iyi veri koruma uygulaması olan Mobile StrongBOX, fotoğraflar veya videolar, parolalar, banka hesapları için veriler, belgeler ve korumak istediğiniz diğer her şey gibi özel bilgilerin güvenli bir şekilde saklanması için

  • embedded Finite State Machine (eFSM) Ücret -siz

    Reaktif veya durumlu bir sistemi modellemek ve denetlemek için kullanılabilen gömülü Sonlu Durum Makinesi (FSM) Tesisi. Sistem herhangi bir sayıda durum tarafından temsil edilebilir. Durum geçişleri bir dizi olay tarafından y

  • Albert Ücret -siz

    Albert, Javadoc ve Doxygen ile karşılaştırılabilir, Common Lisp için bir doc-jeneratör. Şu anda DocBook belgeleri oluşturur. ASDF sistem tanımını okur ve sistemi belgeler.

  • SETILog for Unix Ücret -siz

    SETILog, tamamlanmış bir SETI@home iş biriminin bazı istatistiklerini bir metin CSV dosyasında kaydeder. Bu dosya, tamamlanan iş birimlerini takip etmek için SETIWatch tarafından gereklidir.

  • HappyDoc Ücret -siz

    HappyDoc Python kaynak kodundan belgeleri ayıklamak için bir araçtır. Bilgiyi almak için bir modül için ayrışma ağacını kullanması ve modülü almaması nedeniyle diğer bu tür uygulamalardan farklıdır.

  • OpenCL .Net Ücret -siz

    Bu proje iki şey yapmaya çalışır. İlk olarak, OpenCL 1.1 spec'i mümkün olduğunca yakından yansıtan OpenCL API'ye bağlama sağlar. İkinci olarak, daha fazla api daha yüksek bir düzey soyutlama sağlar. Ağ gibi.

  • PAPAS: Path Planning Algorithm Suite Ücret -siz

    PAPAS (Yol Planlama Algoritmaları Paketi), yol planlaması için tasarlanmış bir algoritma kümesidir. PrM, RRT, Wavefront Planner, vb gibi ortak algoritmaları vardır. Uygulama C dilinde yapılır ve kod yaklaşık iki yıldır gelişt