satchmo-backends-1.8.2: driver for external satchmo backends
Satchmo.Solver.Clasp
Description
http:www.cs.uni-potsdam.declasp
solve :: SAT (Decoder a) -> IO (Maybe a)Source
using :: FilePath -> SAT (Decoder a) -> IO (Maybe a)Source