| Copyright | (c) Masahiro Sakai 2012-2013 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
ToySolver.SAT.PBO
Description
Pseudo-Boolean Optimization (PBO) Solver
Synopsis
- data Optimizer
- newOptimizer :: Solver -> PBLinSum -> IO Optimizer
- newOptimizer2 :: Solver -> PBLinSum -> (Model -> Integer) -> IO Optimizer
- optimize :: Optimizer -> IO ()
- addSolution :: Optimizer -> Model -> IO ()
- getBestSolution :: Optimizer -> IO (Maybe (Model, Integer))
- getBestValue :: Optimizer -> IO (Maybe Integer)
- getBestModel :: Optimizer -> IO (Maybe Model)
- isUnsat :: Optimizer -> IO Bool
- isOptimum :: Optimizer -> IO Bool
- isFinished :: Optimizer -> IO Bool
- data Method
- = LinearSearch
- | BinarySearch
- | AdaptiveSearch
- | UnsatBased
- | MSU4
- | BC
- | BCD
- | BCD2
- showMethod :: Method -> String
- parseMethod :: String -> Maybe Method
- getMethod :: Optimizer -> IO Method
- setMethod :: Optimizer -> Method -> IO ()
- defaultEnableObjFunVarsHeuristics :: Bool
- getEnableObjFunVarsHeuristics :: Optimizer -> IO Bool
- setEnableObjFunVarsHeuristics :: Optimizer -> Bool -> IO ()
- defaultTrialLimitConf :: Int
- getTrialLimitConf :: Optimizer -> IO Int
- setTrialLimitConf :: Optimizer -> Int -> IO ()
- setOnUpdateBestSolution :: Optimizer -> (Model -> Integer -> IO ()) -> IO ()
- setOnUpdateLowerBound :: Optimizer -> (Integer -> IO ()) -> IO ()
- setLogger :: Optimizer -> (String -> IO ()) -> IO ()
The Optimizer type
Solving
Extract results
Configulation
Optimization method
The default value can be obtained by def.
Constructors
| LinearSearch | |
| BinarySearch | |
| AdaptiveSearch | |
| UnsatBased | |
| MSU4 | |
| BC | |
| BCD | |
| BCD2 |
showMethod :: Method -> String Source #