satchmo-2.8.1: SAT encoding monad

Satchmo.Binary.Op.Times

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

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

product_components :: MonadSAT m => Maybe Int -> Number -> Number -> m [(Int, [Boolean])] Source

export :: MonadSAT m => Maybe Int -> [(Int, [Boolean])] -> m Number Source

reduce :: (MonadSAT m, Ord k, Num k) => Maybe k -> Map k [Boolean] -> m (Map k [Boolean]) Source