Let's make it colorful.
Remove section "A SAT solver abstraction".

Either
  improve this chapter for more detailed content and
  various SAT solver interface implementations
or
  remove it as it just happens with this commit.