https://github.com/supermarcel10/javasatsolver
Algorithms project for City University Y1 IN1002.
https://github.com/supermarcel10/javasatsolver
academic-project boolean-satisfiability learning-project prototype sat-solver
Last synced: about 1 year ago
JSON representation
Algorithms project for City University Y1 IN1002.
- Host: GitHub
- URL: https://github.com/supermarcel10/javasatsolver
- Owner: Supermarcel10
- License: mit
- Created: 2023-02-28T09:40:29.000Z (about 3 years ago)
- Default Branch: master
- Last Pushed: 2023-11-01T12:21:03.000Z (over 2 years ago)
- Last Synced: 2025-01-14T02:11:51.866Z (about 1 year ago)
- Topics: academic-project, boolean-satisfiability, learning-project, prototype, sat-solver
- Language: Java
- Homepage:
- Size: 257 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.MD
- License: LICENSE
Awesome Lists containing this project
README
# Java SAT Solver
This repository is a SAT Solver implemented in Java, developed as a coursework project for City University's Algorithms module (IN1002).
## Getting Started
These instructions will get you a copy of the project up and running on your local machine for development and testing purposes.
### Prerequisites
- Java JDK 19 or above (Prior versions may work, but have not been tested).
### Installation
- Clone the repository using:
git clone https://github.com/Supermarcel10/JavaSATSolver.git
- Navigate to the project directory:
cd JavaSATSolver
- Compile the Java files:
javac *.java
### Usage
To run the SAT Solver, execute the following command:
java Main
## DPLL Algorithm
This SAT Solver utilises the Davis–Putnam–Logemann–Loveland (DPLL) algorithm to determine the satisfiability of a propositional logic formula.
## Contributing
Feel free to fork the project and submit your contributions via pull requests.
This project is nowhere near the best efficiency it could be, so feel free to improve it!
## License
This project is licensed under the [MIT Licence](https://github.com/Supermarcel10/JavaSATSolver/blob/master/LICENSE).