@hackage / satchmo-minisat

minisat driver as backend for satchmo

Latest1.3

Changelog

This release does not have a Changelog