Skarabäus

ein Prototyping-Tool für SAT-basierte Systeme
Jetzt downloaden

Skarabäus Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Freeware
  • Name des Herausgebers:
  • Daniel Zadorozny
  • Dateigröße:
  • 13 KB

Skarabäus Stichworte


Skarabäus Beschreibung

Scarab wird mit einem Bauteil-Paket geliefert, mit dem Sie effiziente SAT-basierte Programmiersysteme erstellen können. Mit der Scala-Programmiersprache entwickelt, enthält Scarab DSL-Komponenten, ein SAT-Codiermodul und bietet Ihnen eine Schnittstelle zum Backend Sat Solver.


Skarabäus Zugehörige Software