satchmo-2.8.2: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Binary.Op.Times

Documentation

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