smtlib-backends-z3-0.3: dependencies

Dependencies for smtlib-backends-z3-0.3

library	base (>=4.14 && <4.19) bytestring (>=0.10.12 && <0.12) smtlib-backends (>=0.3 && <0.4)