Justifying All Differences Using Pseudo-Boolean Reasoning