SAT solver over a subset of C++