Dependencies for minisat-0.1

Libraries

minisat

async (>=2.0.0.0)
base (>=3 && <5)
if os(windows)
- zlib