Use picosat solver as SAT solver

This is the proposition of migration from hand-made solver to the production quality solver. Picosat works better than the naive one and is distributed with MIT license that allows to use it in pkg.

Sponsored by: Google summer of code