This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.

Project Activity

See All Activity >

Categories

Software Testing

License

Academic Free License (AFL), GNU General Public License version 2.0 (GPLv2)

Follow Parallel Sat4J

Parallel Sat4J Web Site

Other Useful Business Software
Test your software product anywhere in the world Icon
Test your software product anywhere in the world

Get feedback from real people across 190+ countries with the devices, environments, and payment instruments you need for your perfect test.

Global App Testing is a managed pool of freelancers used by Google, Meta, Microsoft, and other world-beating software companies.
Try us today.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Parallel Sat4J !

Additional Project Details

Intended Audience

Education

User Interface

Win32 (MS Windows)

Programming Language

Java

Related Categories

Java Software Testing Tool

Registered

2008-03-25
Report inappropriate content