satchmo-2.6.0: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.SMT.Exotic.Natural

Documentation

data Encoding Source

Constructors

Unary 
Binary 

Instances

data Unary_Addition Source

Constructors

Odd_Even_Merge 
Bitonic_Sort 
Quadratic 

Instances

data Extension Source

Constructors

Fixed 
Flexible 

Instances

unary_fixed :: Int -> Unary_Addition -> Dict SAT Number Boolean Source

unary_flexible :: Int -> Unary_Addition -> Dict SAT Number Boolean Source

binary_fixed :: Int -> Dict SAT Number Boolean Source

binary_flexible :: Int -> Dict SAT Number Boolean Source

foldM1 :: Monad m => (b -> b -> m b) -> [b] -> m b Source