mios-1.4.0: dependencies

Dependencies for mios-1.4.0

library	base (>=4.9 && <4.10) bytestring (>=0.10) ghc-prim (>=0.5) vector (>=0.11) if !flag(lib) buildable: False
mios	base (>=4.9 && <4.10) bytestring (>=0.10) ghc-prim (>=0.5) vector (>=0.11)

Automatic Flags

Name	Description	Default
llvm	Compile with llvm	Disabled
lib	Build the solver library	Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info