A project to contain all of my investigations into the z3 SMT solver made by Microsoft Research.
Primary LanguagePython