satchmo-funsat

this driver calls funsat (download from hackage) to solve CNF-SAT constraints produced by satchmo