dev-haskell / puresat puresat Pure Haskell SAT-solver homepage ↗ hackage: puresat github: phadej/puresat Available in OverlayNewestEbuildsLast activity haskell GitHub ↗ 0.1 1 2 d details › Versions & arches VersionOverlay amd64 Committed 0.1 ≈ haskell ◐amd64 testing 6 mo view · download · history ↗ Use flags of 0.1 exe Build executable