minisat 0.1.2

3 Reverse deps Accepted versions
abc-puzzle >=0.1
jukebox -any
satchmo >=0.1