Name		Name	Last commit message	Last commit date
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

0 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages