exe:toysmt
Dependencies
- base lib:base >=0
- containers lib:containers >=0
- haskeline lib:haskeline >=0.7 && <0.9
- intern lib:intern >=0
- mtl lib:mtl >=0
- optparse-applicative lib:optparse-applicative >=0
- parsec lib:parsec >=3.1.2 && <4
- text lib:text >=0
- toysolver lib:toysolver >=0
- transformers lib:transformers >=0
- transformers-compat lib:transformers-compat >=0
Reverse dependencies
None.