https://github.com/yingjieqiao/satsolver

Boolean Satisfiability Problem Solver
https://github.com/yingjieqiao/satsolver

satisfiability-solver satsolver

Last synced: about 2 months ago
JSON representation

Boolean Satisfiability Problem Solver

• Host: GitHub
• URL: https://github.com/yingjieqiao/satsolver
• Owner: YingjieQiao
• Created: 2020-10-19T01:46:27.000Z (over 5 years ago)
• Default Branch: newmaster
• Last Pushed: 2020-11-06T11:27:16.000Z (over 5 years ago)
• Last Synced: 2025-03-06T15:51:50.243Z (over 1 year ago)
• Topics: satisfiability-solver, satsolver
• Language: Java
• Homepage:
• Size: 1.08 MB
• Stars: 0
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# SATSolver

ISTD 2D Challenge - 50.001 & 50.004 sections

# Colab

1. You can fork a copy of this repo and clone to your computer.

2. Create a new branch using git checkout -b BRANCHNAME

3. Commit the code and push to a new branch, and open a pull request.

The rule of thumb is that don't push code to master branch directly.

# 50.001

In `./SATSolver/src/sat`:

1. SATSolver.java

2. SATSolverTest.java

# 50.004

In `./SATSolver/src/sat`:

1. deterministic.java

2. randomized.java

3. Graph.java

4. Node.java

5. Loader.java

5. InvalidInputException.java