satchmo-2.8.2: SAT encoding monad

Safe Haskell	None
Language	Haskell98

Satchmo.Unary

Synopsis

Documentation

data Number Source

Instances

Decode m Boolean Bool => Decode m Number Integer
Decode m Boolean Bool => Decode m Number Int

bits :: Number -> [Boolean] Source

contents is [ 1 .. 1 0 .. 0 ] number of 1 is value of number

make :: [Boolean] -> Number Source

width :: Number -> Int Source

number :: MonadSAT m => Int -> m Number Source

declare a number with range (0, w)

constant :: MonadSAT m => Integer -> m Number Source

module Satchmo.Unary.Op.Flexible