satchmo-minisat-1.3: minisat driver as backend for satchmo Contents Index

solve Satchmo.Solver.Minisat