Gentoo Portage Overlays - dev-haskell/minisat

Newest News Repository news GLSAs Browse USE Flags Overlays More...

dev-haskell/minisat

A Haskell bundle of the Minisat SAT solver

Screenshots

https://hackage.haskell.org/package/minisat

minisat-0.1.3

~amd64

doc hscolour hoogle profile

View

Download

Browse License: BSD

Overlay: haskell

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

minisat-0.1.3

dev-haskell/async:=[profile?
]
>=dev-lang/ghc-8.4.3:=
sys-devel/gcc[cxx]

dev-lang/ghc:=[profile?
]