Dependencies for improve-0.0.12

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