An implementation of basic (without heuristic functions) DPLL algorithm.
Primary LanguageC++
This repository is not active