/Spring-2020-Applied-Mathematical-Logic

📈 Implementation of a SAT solver to solve satisfiability problems.

Primary LanguageC++

Spring-2020-Applied-Mathematical-Logic

An easy implementation of a SAT solver to solve satisfiability problems.

Features

  • 2 Literal Watching
  • Recursive DPLL
  • Chronological Backtracking
  • Conflict Clause Learning
  • Non-Chronological Backtracking
  • Learnt Clause Minimization
  • Phase saving

Usage

To be released.

Contact

Feel free to email me at khchen.me@gmail.com or open an issue here if you have any ideas.