ersatz-toysat-0.2.2.0: toysat driver as backend for ersatz
Ersatz.Solver.Toysat
Description
toysat :: MonadIO m => Solver SAT m Source #