ScarabA prototyping tool for SAT-based systems | |
Download |
Scarab Ranking & Summary
Advertisement
Scarab Tags
Scarab Description
Scarab comes with a component package designed to help you create efficient SAT-based programming systems. Developed using the Scala programming language, Scarab includes DSL components, a SAT encoding module and provides you with an interface to the backend SAT solver.
Scarab Related Software