Error

two or more packages specified (z3 -)