Add preliminary version of a SAT solver.

This version does not contain free choice variables assigning and
learning.