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
Gain Advanced Threat Protection for Your AWS Workloads Icon
Gain Advanced Threat Protection for Your AWS Workloads

Running FortiGate NGFW on AWS Graviton2 Lets You Boost Scalability With Reduced Compute Costs

FortiGate-VM delivers comprehensive security and scalable VPN connectivity for your AWS workloads, while native AWS integrations unlock broad coverage for your environment. Now with support for AWS Graviton2 instances, FortiGate lets you optimize price performance and reduce your Amazon EC2 costs by up to 20 percent. Deploy today in AWS Marketplace.
Free 30-Day Trial
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