Unclaimed project

Are you a maintainer of z3? Claim this project to take control of your public changelog and roadmap.