Skip to content

Latest commit

 

History

History
8 lines (7 loc) · 134 Bytes

README.md

File metadata and controls

8 lines (7 loc) · 134 Bytes

SAT problem solver

Methods

  • Width tree generation
  • Depth tree generation
  • Heuristics

Snippet

Alt text