Candidates for satchmo-minisat

No candidates exist for satchmo-minisat. Upload one for this or another package?