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).
Release Date:
2009-02-14
Topic:
Operating System:
License:
Intended Audience:
User Interface:
Programming Language:
Registered:
2008-05-13
Ratings and Reviews
Be the first to post a text review of S-SAT - Sapienza SAT. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
s-sat s-sat06.beta1 file released: s-sat-0.6beta.tgz
All modules have been implemented.
-
File released: /s-sat/s-sat06.beta1/s-sat-0.6beta.tgz
-
s-sat0.2beta s-sat0.2.tgz file released: s-sat0.2.tgz
This is the first release... no changelog ;-)
-
File released: /s-sat0.2beta/s-sat0.2.tgz/s-sat0.2.tgz
Rate and Review
Be the first person to add a text review.
Related Projects
S-SAT - Sapienza SAT Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
