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' :: forall {m} {a}. (Num a, Enum a, MonadSAT m, Ord a) => Overflow -> Maybe a -> [Boolean] -> [Boolean] -> m [Boolean] Source #