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

elisa 1.0.4

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

Hakkı -nda elisa

Elisa, kısıtlama programlama ve kısıtlama çözme teknikleri için açık bir C++ kitaplığıdır. Sürekli kısıtlamaları çözmek için aralık tabanlı algoritmalar, Gaol'un (http://sf.net/projects/gaol) sisteminize zaten yüklü olması gerekir.

İlgili Programlar

  • OpenOrbs Ücret -siz

    OrbWorks Software'in Palm OS için OrbForms Tasarımcısı'nın işlevselliğini ve kullanma deneyimini geliştirmek için bir OpenSource gadget'lar ve kod parçacıkları koleksiyonu.

  • OCaml FFI Generator Ücret -siz

    C işlevleri ve veri tipleri için arabirimler oluşturmak için bir araç. Standart C Xlib için tam bir arayüz içerir. Bu proje, bunlardan bazıları ile önemli örtüşme vardır

  • Yann Ücret -siz

    Yann henüz başka bir sinir ağı. Yann hızlı sinir ağları oluşturmak için bir kütüphane. Ayrıca ağları kolayca oluşturmak, dolandırmak, eğitmek, yürütmek ve araştırmak da bir GUI'dir. Birden fazla topoloji, çalışma zamanı özell

  • Ngspice Extensions Ücret -siz

    Devre simülatörü Ngspice uzantıları. Bir uzantısı yeni nesil inşa sistemi SCons entegrasyonudur.

  • PyGeo - Dynamic 3d Geometry in Python Ücret -siz

    PyGeo Python'da yazılmış dinamik bir 3b geometri çerçevesidir,VPython ile işlenir.

  • Kstella - A KDE frontend for Stella Ücret -siz

    Kstella mükemmel Atari 2600 emülatörü Stella için bir KDE frontend olduğunu. Oyun ekran görüntülerini ve kartuş taramalarını görüntülemenin yanı sıra oyun kılavuzlarını HMTL formatında görüntülemeyi destekler.

  • Dharma - Visual Source Safe Client Ücret -siz

    Emacs ve Unix komut satırından Visual Source Safe projeleri için check-in, check-out ve geçmiş. Emacs'tan ayrılmamak için başka bir sebep daha.

  • Startx Administration System Ücret -siz

    startx MRTG veya awstats veya ACID gibi bazı ürünlerin çıktı alır php bir arayüz oluşturmak için proje adıdır ... ve onları aynı Web arabiriminde bir araya getirin.

  • ManhattanLines Ücret -siz

    Ortogonal (diğer bir manhattan) hat yönlendirmebir insan tarafından okunabilir hale getirmek için bir teknikhiyerarşik diyagram. Manhattan hatlarıbir ortogonal hat yönlendirme algoritması uygularçizgi uzunluğunu ve ge

  • RAINBOW Calculator Widget Ücretsiz Deneme

    Sonunda söndü. Aynı anda kullanılabilen hesap makinesi widget'ı. Başvuru programı başlatıldığınızda tüm zaman hariç tutulur. Her zaman hesaplamak için yakında yapabilirsiniz Gerçek zamanlı bilgisayar. Boyutu 3x3 h