S-SAT - Sapienza SAT

Add a Review
1 Download (This Week)
Last Update:
Download s-sat-0.6beta.tgz
Browse All Files
BSD Linux


During a course at University "La Sapienza" in Rome I developed a fully working SAT solver based on unit propagation and backtracking; it can read DIMACS files and process cnf formulas of any length(there are no restrictions on the number of literals).

S-SAT - Sapienza SAT Web Site

Update Notifications

Write a Review

User Reviews

Be the first to post a review of S-SAT - Sapienza SAT!

Additional Project Details

Intended Audience

Developers, Science/Research

User Interface


Programming Language



Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.