Add initial version of SAT solver