toysolver-0.0.5: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Portabilityportable
Stabilityprovisional
Maintainermasahiro.sakai@gmail.com
Safe HaskellSafe-Inferred

Text.MaxSAT

Contents

Description

References:

Synopsis

Documentation

data WCNF Source

Constructors

WCNF 

Fields

numVars :: !Int
 
numClauses :: !Int
 
topCost :: !Weight
 
clauses :: [WeightedClause]
 

type WeightedClause = (Weight, Clause)Source

type Weight = IntegerSource

should be able to represent 2^63

Parsing .cnf/.wcnf files

parseWCNFString :: String -> Either String WCNFSource

parseWCNFFile :: FilePath -> IO (Either String WCNF)Source