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

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started Free

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

Parasoft

"Parasoft delivers an AI‑powered software testing platform that helps organizations continuously release high‑quality software. Our solutions support embedded and enterprise teams by integrating code analysis, testing, virtualization, and coverage into the delivery pipeline to improve security,...

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

QA Wolf is the fastest path to deterministic end-to-end test coverage for web and mobile apps. In one platform, teams can manage the entire testing lifecycle: Map out your workflows and coverage gaps, automate your tests in Playwright or Appium, and run your suite fully in parallel. - Build...

See Software
Virtuoso QA

Virtuoso QA is an AI-powered test automation platform designed to accelerate software quality assurance for enterprises. It enables teams to create, execute, and maintain tests using natural language without requiring coding expertise. The platform uses self-healing AI to automatically fix...

See Software
devZing

Bug Tracking, Test Case Management and Version Control devZing provides a hosted, managed environment with the tools you need for your project team to get things done. We make sure the servers are running fast, are backed up and have the most current versions. You create great...

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