(www.microsoft.com) Z3 - Microsoft Research

ROAM_REFS: https://www.microsoft.com/en-us/research/project/z3-3/