https://github.com/unstablebrainiac/satsolver
https://github.com/unstablebrainiac/satsolver
Last synced: 4 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/unstablebrainiac/satsolver
- Owner: unstablebrainiac
- Created: 2023-09-14T03:14:10.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2023-11-30T08:59:49.000Z (over 1 year ago)
- Last Synced: 2025-01-03T03:15:34.400Z (6 months ago)
- Language: Java
- Size: 7.26 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# SAT Solver
The primary aim of this project is to design and implement a SAT solver, which is a software tool used to solve Boolean satisfiability problems.
## Description
Initially, the project focuses on handling CNF inputs exclusively. It begins by parsing CNF files in the DIMACS format (as described in https://www.cs.rice.edu/~vardi/comp409/satformat.pdf). The objective is to provide a solution, presenting an assignment when the problem is satisfiable and reporting "UNSAT" when it is not.
## Usage
Run the sat.main class `PuzzleSolverMain` to solve the sample puzzle defined in the file `resources/puzzle.cnf`, using several different implementations of the DPLL Algorithm, and to assert the equality of their results.