Gentoo Portage Overlays - dev-haskell/puresat

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

dev-haskell/puresat

Pure Haskell SAT-solver

Screenshots

https://github.com/phadej/puresat

puresat-0.1.0.1

~amd64 ~x86

exe doc hscolour profile test

View

Download

Browse License: BSD

Overlay: nest

puresat-0.1

~amd64

exe doc hscolour hoogle profile test

View

Download

Browse License: BSD

Overlay: haskell

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs