Add package z3 #33184
Description
z3 is a powerful solver for SAT and SMT.
https://pypi.org/project/z3-solver/
Component: packages: optional
Issue created by migration from https://trac.sagemath.org/ticket/33184
{{ message }}
z3 is a powerful solver for SAT and SMT.
https://pypi.org/project/z3-solver/
Component: packages: optional
Issue created by migration from https://trac.sagemath.org/ticket/33184