A C++ implementation of different heuristics to solve the SAT problem