sat solver framework in C++ with replacable meta-heuristik