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

Copyright(c) Masahiro Sakai 2012
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

ToySolver.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 = Integer Source

Weigths must be greater than or equal to 1, and smaller than 2^63.

Parsing .cnf/.wcnf files

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

parseString :: String -> Either String WCNF Source

parseByteString :: ByteString -> Either String WCNF Source