minisat

A Haskell bundle of the Minisat SAT solver

Available in

Overlay	Newest	Ebuilds	Last activity
haskell GitHub ↗	0.1.3	1	2 d	details ›

Version	Overlay	amd64	Committed
0.1.3 ^≈	haskell	amd64 testing	6 mo	view · download · history ↗