z3 4.2.0

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