A software allowing to solve SAT problem and a SMT problem using several heuristics.