Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
2-SAT-Problem		2-SAT-Problem
SAT-Problem		SAT-Problem
.gitignore		.gitignore
README.md		README.md

Repository files navigation

Boolean Satisfiability Problem

General SAT Solver implemented in Java
2-SAT Solver implemented in Python

About

Java & Python Implementation of the Boolean Satisfiability Problem Solver

np-complete sat-solver satisfiability-problem

Report repository

Releases

No releases published

Packages

No packages published

Languages