dev-haskell/simple-smt
A simple way to interact with an SMT solver process
Screenshots
View
Download
BrowseUSE Flags
doc
Global: Adds extra documentation (API, Javadoc, etc)
hscolour
* This flag is undocumented *
hoogle
* This flag is undocumented *
profile
Global: Adds support for software performance analysis (will likely vary from ebuild to ebuild)