Implementation of a prototype for computing minimal-depth distinguishing formulas.
Primary LanguagePython