Name		Name	Last commit message	Last commit date
.vs/SAT_Methods/v14		.vs/SAT_Methods/v14
WindowsFormsApplication2		WindowsFormsApplication2
.gitattributes		.gitattributes
README.md		README.md
SAT_Methods.sln		SAT_Methods.sln
Sample.cnf		Sample.cnf
Snippet.PNG		Snippet.PNG

Repository files navigation

SAT problem solver

Methods

Width tree generation
Depth tree generation
Heuristics

Snippet

About

SAT solver using the meta-heuristic algorithms

1 star

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages