Added rudimentary SAT solving support.