Scarab 1.0.0

Prototyping tool for SAT-based Constraint Programming Systems

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
report
malware
send us
an update
LICENSE TYPE:
BSD 
FILE SIZE:
735 KB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Scarab Team
CATEGORY:
Home \ Developer Tools
1 Scarab Screenshot:
Scarab - This is an example of how Scarab can solve a Magic square.
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

Runs on: Mac OS X (-)

requirements

#prototyping tool #Constraint Programming systems #SAT solver #prototype #prototyping #Constraint Programming #system

Add your review!

SUBMIT