Dependencies for hasmtlib-2.5.0
Libraries
hasmtlib
- attoparsec (>=0.14.4 && <1)
- base (>=4.17.2 && <5)
- bitvec (>=1.1.5 && <2)
- bytestring (>=0.11.5 && <1)
- containers (>=0.6.7 && <1)
- data-default (>=0.7.1 && <1)
- dependent-map (>=0.4 && <1)
- finite-typelits (>=0.1.0 && <1)
- lens (>=5 && <6)
- mtl (>=2.2.2 && <3)
- smtlib-backends (>=0.4 && <0.5)
- smtlib-backends-process (>=0.3 && <0.4)
- some (>=1.0.6 && <1.1)
- text (>=2.0.2 && <3)
- unordered-containers (>=0.2.20 && <0.3)
- utf8-string (>=1.0.2 && <2)
- vector-sized (>=1 && <2)