minisat 0.1.3

5 Reverse deps Accepted versions
abc-puzzle >=0.1
co-feldspar -any
jukebox -any
sat-simple ^>=0.1.3
satchmo >=0.1