fafa7ae771a57d5fb8ec5af50da118e3f0566d56		branch 'master' of resolution.cs.ucla.edu:/space/gitroot/pypsdd
d7c3b7b64687b4e4812ed8aafad27311ca063d94	not-for-merge	branch 'psdd-release' of resolution.cs.ucla.edu:/space/gitroot/pypsdd
