This version of the code is associated with the AAAI 2020 paper "Justifying All Differences Using Pseudo-Boolean Reasoning".