satchmo-1.8.0: SAT encoding monad
Satchmo.SAT.Weighted
data SAT a Source
Instances
sat :: MaxWeight -> SAT a -> IO (ByteString, Header, a)Source
type MaxWeight = IntSource
data Header Source
Constructors
Fields