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

~amd64

exe doc hscolour hoogle profile test

View

Download

Browse License: BSD

Overlay: haskell

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs