lagripe / SAT-problem-solver Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

SAT solver using the meta-heuristic algorithms

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.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

Report repository

Releases

No releases published

Packages

No packages published

Languages

C# 100.0%