satchmo-2.8.2: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Numeric

Documentation

class Constant a where Source

Methods

constant :: MonadSAT m => Integer -> m a Source

Instances

class Create a where Source

Methods

create :: MonadSAT m => Int -> m a Source

Parameter: bit width

Instances

class Numeric a where Source

Methods

equal :: MonadSAT m => a -> a -> m Boolean Source

greater_equal :: MonadSAT m => a -> a -> m Boolean Source

plus :: MonadSAT m => a -> a -> m a Source

minus :: MonadSAT m => a -> a -> m a Source

times :: MonadSAT m => a -> a -> m a Source

Instances