satchmo-backends-1.8.1: driver for external satchmo backends
Satchmo.Solver.Quantor
solve :: SAT (Decoder a) -> IO (Maybe a)Source