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

Copyright	© Masahiro Sakai 2014
License	BSD3
Maintainer	Masahiro Sakai <masahiro.sakai@gmail.com>
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Satchmo.SAT.Toysat

Description

Documentation

data SAT a Source

Instances

Monad SAT
Functor SAT
MonadFix SAT
Applicative SAT
MonadSAT SAT
Decode SAT Boolean Bool
type Decoder SAT = SAT

fresh :: MonadSAT m => m Literal

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

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

solve_with_timeout :: Maybe Int -> SAT (SAT a) -> IO (Maybe a) Source