smtlib-backends-z3-0.3.1: dependencies

Dependencies for smtlib-backends-z3-0.3.1

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