| Copyright | (c) Masahiro Sakai 2016 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
| Extensions |
|
ToySolver.SAT.Solver.MessagePassing.SurveyPropagation
Description
- Alfredo Braunstein, Marc Mézard and Riccardo Zecchina. Survey Propagation: An Algorithm for Satisfiability, http://arxiv.org/abs/cs/0212002
- Corrie Scalisi. Visualizing Survey Propagation in 3-SAT Factor Graphs, http://classes.soe.ucsc.edu/cmps290c/Winter06/proj/corriereport.pdf.
Synopsis
- data Solver
- newSolver :: Int -> [(Double, PackedClause)] -> IO Solver
- deleteSolver :: Solver -> IO ()
- getNVars :: Solver -> IO Int
- getNConstraints :: Solver -> IO Int
- getTolerance :: Solver -> IO Double
- setTolerance :: Solver -> Double -> IO ()
- getIterationLimit :: Solver -> IO (Maybe Int)
- setIterationLimit :: Solver -> Maybe Int -> IO ()
- getNThreads :: Solver -> IO Int
- setNThreads :: Solver -> Int -> IO ()
- initializeRandom :: Solver -> GenIO -> IO ()
- initializeRandomDirichlet :: Solver -> GenIO -> IO ()
- propagate :: Solver -> IO Bool
- getVarProb :: Solver -> Var -> IO (Double, Double, Double)
- fixLit :: Solver -> Lit -> IO ()
- unfixLit :: Solver -> Lit -> IO ()
- printInfo :: Solver -> IO ()
The Solver type
deleteSolver :: Solver -> IO () Source #
Problem information
Parameters
Computing marginal distributions
getVarProb :: Solver -> Var -> IO (Double, Double, Double) Source #
Get the marginal probability of the variable to be True, False and unspecified respectively.