minisat 0.1.3

4 Reverse deps Accepted versions
abc-puzzle >=0.1
co-feldspar -any
jukebox -any
satchmo >=0.1