satchmo-2.9.1: SAT encoding monad

Satchmo.Binary.Op.Times

times :: MonadSAT m => Maybe Int -> Number -> Number -> m Number Source

dot_product :: MonadSAT m => Maybe Int -> [Number] -> [Number] -> m Number Source

data Overflow Source

Constructors

times' :: (MonadSAT m, Ord k, Num k, Enum k) => Overflow -> Maybe k -> [Boolean] -> [Boolean] -> m [Boolean] Source