Scarab Prototyping tool for SAT-based Constraint Programming Systems
Download

Scarab Ranking & Summary

Scarab Tags

track monitor Prototype sat solver artifact tracker track artifact artifact monitor artifact constraint programming prototyping

Scarab Description

Scarab is a free, open-source and cross-platform rapid prototyping utility designed for SAT-based Constraint Programming systems. Scarab includes a SAT encoding module, constraint programming Domain-Specific Language components, and an interface to the backend SAT solver. In addition, you can also use Scarab to create efficient SAT-based systems.

Scarab Related Software