Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. elisa
  5. Download

elisa 1.0.4

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.5/5 - ‎2 ‎Stemmen

Over elisa

Elisa is een open C++ bibliotheek voor beperking programmering en beperking oplossen technieken. Intervalgebaseerde algoritmen voor het oplossen van continue beperkingen vereisen dat Gaol (http://sf.net/projects/gaol) al op uw systeem is geïnstalleerd.

Gerelateerde programma's

  • OpenOrbs Gratis

    Een OpenSource verzameling gadgets en codefragmenten om de functionaliteit van - en de ervaring van het gebruik - OrbForms Designer voor Palm OS van OrbWorks Software te verbeteren.

  • OCaml FFI Generator Gratis

    Een hulpmiddel om interfaces naar C-functies en gegevenstypen te genereren. Inclusief een complete interface met de standaard C Xlib. Dit project heeft een aanzienlijke overlap met sommige van deze

  • Yann Gratis

    Yann is nog een ander neuraal netwerk. Yann is een bibliotheek om snelle neurale netwerken te creëren. Het is ook een GUI om eenvoudig netwerken te maken, te bewerken, te trainen, uit te voeren en te onderzoeken. Meerdere top

  • Ngspice Extensions Gratis

    Uitbreidingen van de circuitsimulator Ngspice. Een uitbreiding is de integratie van de volgende generatie build systeem SCons.

  • PyGeo - Dynamic 3d Geometry in Python Gratis

    PyGeo is een dynamisch 3d geometrie framework geschreven in Python,gerenderd met VPython.

  • Kstella - A KDE frontend for Stella Gratis

    Kstella is een KDE frontend aan de uitstekende Atari 2600 emulator, Stella. Het ondersteunt het bekijken van game screenshots en cartridge scans, evenals het bekijken van game handleidingen in HMTL formaat.

  • Dharma - Visual Source Safe Client Gratis

    In- en uitchecken en geschiedenis voor Visual Source Safe-projecten van Emacs en de Unix-opdrachtregel. Een andere reden om Emacs nooit te verlaten.

  • Startx Administration System Gratis

    startx is de projectnaam voor een interface in php die de output van sommige producten zoals MRTG of awstats of ACID neemt... en zet ze samen in dezelfde webinterface.

  • ManhattanLines Gratis

    Orthogonale (ook bekend als Manhattan) lijnroutering iseen techniek om een mensleesbarehiërarchisch diagram. Manhattanlinesimplementeert een orthogonale lijnrouteringsalgoritmedat de lengte en kruisingen van de lijn m

  • RAINBOW Calculator Widget Gratis proefperiode

    Het ging eindelijk uit. Rekenmachine widget die kan worden gebruikt in een keer door het maken van het verblijf. Wanneer het toepassingsprogramma wordt gestart, is uitgesloten. Real-time computer die binnenkort kan d