satchmo-2.9.9.3: 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' :: (Enum t, Num t, Ord t, MonadSAT m) => Overflow -> Maybe t -> [Boolean] -> [Boolean] -> m [Boolean] Source