Error

two or more packages specified (python3-z3 unknown)