minisat 0.1.3

6 Reverse deps Accepted versions
abc-puzzle >=0.1
co-feldspar >=0
jukebox >=0
puresat >=0
sat-simple ^>=0.1.3
satchmo >=0.1