Add picosat code.
Integrate picosat to pkg.
More simple assignment.
Request are now SAT assumptions.
Print problematic assumptions if sat problem was not solved.
Some cleanup.
Do not guess assumptions.
Rework installation candidates checking.
Merge pull request #914 from vstakhov/picosat

Use picosat solver as SAT solver