Scarab iconScarab 1.0.0

Prototyping tool for SAT-based Constraint Programming Systems
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.

last updated on:
February 4th, 2013, 18:59 GMT
file size:
735 KB
price:
FREE!
developed by:
Scarab Team
license type:
BSD 
operating system(s):
Mac OS X
binary format:
-
category:
Home \ Developer Tools

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

1 Screenshot
Scarab - This is an example of how Scarab can solve a Magic square.

Add your review!

SUBMIT