Scarab A prototyping tool for SAT-based systems
Download

Scarab Ranking & Summary

Scarab Tags

truetype font TTF character font truetype TTF designer original font prototype SAT solver

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