Skarabäus

Prototyping-Tool für SAT-basierte Einschränkungs-Programmiersysteme
Jetzt downloaden

Skarabäus Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Freeware
  • Preis:
  • FREE
  • Name des Herausgebers:
  • Scarab Team
  • Betriebssysteme:
  • Mac OS X
  • Dateigröße:
  • 20.9 MB

Skarabäus Stichworte


Skarabäus Beschreibung

Scarab ist ein freies, open-Source- und plattformübergreifendes, schnelles Prototyping-Dienstprogramm, das für SAT-basierte Einschränkungs-Programmiersysteme ausgelegt ist. Scarab enthält ein SAT-Kodierungsmodul, einschränkende Programmierkomponenten, die domänenspezifische Sprachkomponenten, und eine Schnittstelle zum Backend Sat Solver. Darüber hinaus können Sie auch Scarab verwenden, um effiziente SAT-basierte Systeme zu erstellen.


Skarabäus Zugehörige Software

NUMSCONS.

Kostenloses Entwicklungswerkzeug für die Verwendung von Szenen in Distutils, um Erweiterungen aufzubauen ...

149 579 KB

Herunterladen

Bremse

Sehr tragbare SQL-Abfragemotor mit Sitz in Python mit Transaktionen, Wiederherstellungs- und Client-Server-Modus ...

400 423 KB

Herunterladen

Rancenaver.

Kostenlose und Open Source Java Bytecode Weaver, die den Vorteil der neuen Java 1.5-Sprachfunktionen bietet ...

143 1.6 MB

Herunterladen

Über uns