Improved CNF conversion procedure.
Refactored search framwork and toy problems.