open-bitbucket may be offline for system maintenance Thursday evenings from 10pm to 1am ET.
Learn more about cloning repositories
You have read-only access
z3: update to 4.8.6, add z3-fstar subport to provide F*-compatible z3 4.8.5
Everything looks good. We'll let you know here if there's anything you should know about.
