Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. elisa
  5. Download

elisa 1.0.4

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.5/5 - ‎2 ‎Undi

Tentang elisa

Elisa adalah perpustakaan C ++ terbuka untuk pengaturcaraan kekangan dan teknik penyelesaian kekangan. Algoritma berasaskan selang untuk menyelesaikan kekangan berterusan memerlukan Gaol (http://sf.net/projects/gaol) telah dipasang pada sistem anda.

Atur Cara Berkaitan

  • OpenOrbs Percuma

    Koleksi OpenSource alat dan coretan kod untuk meningkatkan fungsi - dan pengalaman menggunakan - OrbForms Designer untuk OS Sawit dari OrbWorks Software.

  • OCaml FFI Generator Percuma

    Alat untuk menjana antara muka kepada fungsi C dan taip data. Termasuk antara muka yang lengkap dengan standard C Xlib. Projek ini mempunyai pertindihan yang ketara dengan beberapa

  • Yann Percuma

    Yann adalah Satu lagi Rangkaian Neural. Yann adalah perpustakaan untuk mewujudkan rangkaian neural yang cepat. Ia juga merupakan GUI untuk mudah membuat, mengedit, melatih, melaksanakan dan menyiasat rangkaian. Pelbagai topol

  • Ngspice Extensions Percuma

    Sambungan ke simulator litar Ngspice. Satu sambungan adalah integrasi sistem binaan generasi akan datang SCons.

  • PyGeo - Dynamic 3d Geometry in Python Percuma

    PyGeo adalah rangka kerja geometri 3d dinamik yang ditulis di Python,diberikan dengan VPython.

  • Kstella - A KDE frontend for Stella Percuma

    Kstella adalah barisan KDE kepada emulator Atari 2600 yang cemerlang, Stella. Ia menyokong melihat tangkapan skrin permainan dan imbasan kartrij, serta melihat manual permainan dalam format HMTL.

  • Dharma - Visual Source Safe Client Percuma

    Daftar masuk, daftar keluar dan sejarah untuk projek Selamat Sumber Visual dari Emacs dan baris perintah Unix. Satu lagi sebab tidak pernah meninggalkan Emacs.

  • Startx Administration System Percuma

    startx adalah nama projek untuk membina antara muka dalam php yang mengambil output beberapa produk seperti MRTG atau awstats atau ACID ... dan letakkan bersama-sama dalam antara muka Web yang sama.

  • ManhattanLines Percuma

    Penghalaan garisan ortogonal (a.k.a manhattan)teknik untuk menjadikan manusia boleh dibacagambar rajah hierarki. Manhattanlinesmelaksanakan algoritma penghalaan garisan ortogonalyang meminimumkan panjang garisan dan p

  • RAINBOW Calculator Widget Percubaan Percuma

    Ia akhirnya keluar. Widget kalkulator yang boleh digunakan sekaligus dengan menjadikannya tinggal. Sepanjang masa apabila atur cara aplikasi dimulakan dikecualikan. Komputer masa nyata yang boleh dilakukan tidak lama