Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
dev-haskell
/simple-smt
A simple way to interact with an SMT solver process
Screenshots
https://hackage.haskell.org/package/simple-smt
simple-smt-0.9.6
~amd64
doc hscolour hoogle profile
View
Download
Browse
License: BSD
Overlay:
haskell
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
simple-smt-0.9.6
>=
dev-lang/ghc
-8.4.3:=
dev-lang/ghc
:=[
profile
?
]