z3 4.1.2

4 Reverse deps Accepted versions
expressions-z3 >=4.1.2 && <4.2
ntha >=4.1.0
Quelea >=4.0.0
z3-encoding >=4.1.0