Skarabäus Ranking & Zusammenfassung
- Name des Herausgebers:
- Daniel Zadorozny
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