satchmo-2.9.0: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Unary.Op.Fixed

Documentation

module Satchmo.Unary.Op.Common

add :: MonadSAT m => Number -> Number -> m Number Source

add_quadratic :: MonadSAT m => Number -> Number -> m Number Source

add_by_odd_even_merge :: MonadSAT m => Number -> Number -> m Number Source

add_by_bitonic_sort :: MonadSAT m => Number -> Number -> m Number Source