satchmo-backends-1.9.1: driver for external satchmo backends

Index

solve 
1 (Function)Satchmo.Solver.Pcosat
2 (Function)Satchmo.Solver.Yices
3 (Function)Satchmo.Solver.Minisat
solveWSatchmo.Solver.Yices
using 
1 (Function)Satchmo.Solver.Pcosat
2 (Function)Satchmo.Solver.Minisat