ToySolver.SAT.PBO

The Optimizer type

data Optimizer

newOptimizer

newOptimizer2

Solving

optimize

addSolution

Extract results

getBestSolution

getBestValue

getBestModel

isUnsat

isOptimum

isFinished

Configulation

data Method

showMethod

parseMethod

getMethod

setMethod

defaultEnableObjFunVarsHeuristics

getEnableObjFunVarsHeuristics

setEnableObjFunVarsHeuristics

defaultTrialLimitConf

getTrialLimitConf

setTrialLimitConf

setOnUpdateBestSolution

setOnUpdateLowerBound

setLogger