ersatz-toysat-0.2.0.0: toysat driver as backend for ersatz

Copyright© Masahiro Sakai 2014
LicenseBSD3
MaintainerMasahiro Sakai <masahiro.sakai@gmail.com>
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Ersatz.Solver.Toysat

Description

 

Documentation

toysat :: MonadIO m => Solver SAT m Source