@hackage / minisat

A Haskell bundle of the Minisat SAT solver

Latest0.1.4

Changelog

This release does not have a Changelog