ToySolver.SAT.PBO

The Optimizer type

data Optimizer

newOptimizer

Solving

optimize

addSolution

Extract results

getBestSolution

getBestValue

getBestModel

isUnsat

isOptimum

isFinished

Configulation

data SearchStrategy

defaultSearchStrategy

getSearchStrategy

setSearchStrategy

defaultEnableObjFunVarsHeuristics

getEnableObjFunVarsHeuristics

setEnableObjFunVarsHeuristics

defaultTrialLimitConf

getTrialLimitConf

setTrialLimitConf

setOnUpdateBestSolution

setOnUpdateLowerBound

setLogger