Dependencies for improve-0.1.2

Libraries

improve

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