satchmo-1.9.1: SAT encoding monad

Satchmo.SAT.Weighted

Documentation

data Header Source

Constructors

Header 

Fields

numClauses :: Int
 
numVars :: Int
 
maxWeight :: Int
 
universals :: [Int]