sat-simple-0.1.0.0: dependencies

Dependencies for sat-simple-0.1.0.0

library	base (>=4.12 && <4.20) containers (>=0.6.0.1 && <0.7) minisat (>=0.1.3 && <0.2) unliftio-core (>=0.2.1.0 && <0.3)