Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/unstablebrainiac/satsolver
https://github.com/unstablebrainiac/satsolver
Last synced: 7 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/unstablebrainiac/satsolver
- Owner: unstablebrainiac
- Created: 2023-09-14T03:14:10.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-09-25T06:02:19.000Z (over 1 year ago)
- Last Synced: 2023-09-25T09:59:58.562Z (over 1 year ago)
- Language: Java
- Size: 36.1 KB
- 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.