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).

Project Activity

See All Activity >

Categories

Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow S-SAT - Sapienza SAT

S-SAT - Sapienza SAT Web Site

You Might Also Like
Gain insights and build data-powered applications Icon
Gain insights and build data-powered applications

Looker is an enterprise platform for BI, data applications, and embedded analytics that helps you explore and share insights in real time.

Chat with your business data with Looker. More than just a modern business intelligence platform, you can turn to Looker for self-service or governed BI, build your own custom applications with trusted metrics, or even bring Looker modeling to your existing BI environment.
Try it free
Rate This Project
Login To Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

Linux, BSD

Intended Audience

Science/Research, Developers

User Interface

Command-line

Programming Language

C

Related Categories

C Mathematics Software

Registered

2008-05-13
Report inappropriate content