Changes to partsat for the SCB paper.
Bunch of small bug fixes.