Initial commit
Add initial version of SAT solver