Add the ability to use PB to find the minimal SAT solutions

Conflicts:
	conda/logic.py