Dependencies for improve-0.0.12

Libraries

improve

base (>=4.2 && <5)
mtl (>=1.1.0.1 && <1.2)
yices (>=0.0.0.7 && <0.0.1)