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

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

Satchmo.SAT.Toysat

Description

 

Documentation

emit :: MonadSAT m => Clause -> m ()

solve :: SAT (SAT a) -> IO (Maybe a) Source