Parallel Sat4J

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 >

License

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

Follow Parallel Sat4J

Parallel Sat4J Web Site

Other Useful Business Software

Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.

Download Chrome

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

Similar Business Software

Boozang

Build. Test. Automate. Empower your whole team to build and maintain automated tests, not just developers. Meet your testing demands fast. Get full test coverage in days, not months. Our natural-language tests are extremely stable to code changes. When tests break our AI will repair it in...

See Software
Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software
MuukTest

Are bugs slipping through your QA process and frustrating your customers? Catching issues early shouldn’t mean overwhelming your team with time-consuming tests. With MuukTest’s AI-driven platform, growing engineering teams reach 95% end-to-end test coverage in just 3 months, delivering quality...

See Software
QA Wolf

Whether you're shipping web or mobile apps, QA Wolf has you covered. We build automated end-to-end tests for 80% of your user flows in weeks, maintain them 24 hours a day, and provide unlimited parallel test runs on our infrastructure. Did we mention that we guarantee zero flakes? We do that...

See Software
Global App Testing

Global App Testing (GAT) enables tech teams to conduct testing across 189+ countries with a network of over 60,000 professional testers, using real devices and environments. By leveraging the GAT platform, you can streamline your testing process, boost release quality, and accelerate...

See Software
TestCaseLab

Designed to streamline your QA process. Manage test cases, boost team collaboration, and track every step of your testing journey. 🌟 Key Features: ✓ Unlimited Users ✓ Unlimited Projects ✓ Trusted by 300+ Software Development Companies ✓ GDPR Compliance ✓ 24/7 Accessibility ✓ Live...

See Software