Dependencies for improve-0.4.0

library
  • base (>=4.0 && <5)
  • mtl (>=1.1.0.1 && <2.1)
  • yices (>=0.0.0.7 && <0.0.1)