A program allowing to solve SAT problem and a SMT problem using several heuristics. - View it on GitHub