Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. elisa
  5. Download

elisa 1.0.4

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.5/5 - ‎2 ‎Suara

Tentang elisa

Elisa adalah perpustakaan C++ terbuka untuk pemrograman batasan dan teknik pemecahan batasan. Algoritma berbasis interval untuk memecahkan batasan berkelanjutan mengharuskan Gaol (http://sf.net/projects/gaol) sudah diinstal pada sistem Anda.

Program Terkait

  • OpenOrbs Gratis

    Koleksi gadget dan cuplikan kode OpenSource untuk meningkatkan fungsionalitas - dan pengalaman menggunakan - OrbForms Designer for Palm OS dari OrbWorks Software.

  • OCaml FFI Generator Gratis

    Alat untuk menghasilkan antarmuka ke fungsi C dan tipe data. Termasuk antarmuka lengkap ke C Xlib standar. Proyek ini memiliki tumpang tindih yang signifikan dengan beberapa

  • Yann Gratis

    Yann adalah Jaringan Saraf Lain. Yann adalah perpustakaan untuk membuat jaringan saraf yang cepat. Ini juga merupakan GUI untuk dengan mudah membuat, mengedit, melatih, mengeksekusi, dan menyelidiki jaringan. Beberapa topolog

  • Ngspice Extensions Gratis

    Ekstensi untuk simulator sirkuit Ngspice. Salah satu ekstensi adalah integrasi sistem build generasi berikutnya SCons.

  • PyGeo - Dynamic 3d Geometry in Python Gratis

    PyGeo adalah kerangka geometri 3d dinamis yang ditulis dalam Python,diberikan dengan VPython.

  • Kstella - A KDE frontend for Stella Gratis

    Kstella adalah frontend KDE untuk emulator Atari 2600 yang sangat baik, Stella. Ini mendukung melihat tangkapan layar game dan pemindaian kartrid, serta melihat manual game dalam format HMTL.

  • Dharma - Visual Source Safe Client Gratis

    Check-in, check-out, dan riwayat untuk proyek Visual Source Safe dari Emacs dan baris perintah Unix. Alasan lain untuk tidak pernah meninggalkan Emacs.

  • Startx Administration System Gratis

    startx adalah nama proyek untuk build antarmuka di php yang mengambil output beberapa produk seperti MRTG atau awstats atau ACID ... dan menyatukannya di antarmuka Web yang sama.

  • ManhattanLines Gratis

    Perutean garis Orthogonal (alias manhattan)teknik untuk merenderdiagram hierarkis. Garis Manhattanmengimplementasikan algoritma perutean garis orthogonalyang meminimalkan panjang garis dan penyeberangan.

  • RAINBOW Calculator Widget Uji Coba Gratis

    Akhirnya padam. Widget kalkulator yang dapat digunakan sekaligus dengan membuatnya berada. Sepanjang waktu ketika program aplikasi dimulai dikecualikan. Komputer real time yang dapat melakukan segera untuk selalu men