Copyright | (c) Masahiro Sakai 2016 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | provisional |
Portability | non-portable (ScopedTypeVariables, BangPatterns, TypeFamilies) |
Safe Haskell | None |
Language | Haskell2010 |
References:
- 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.
- data Solver
- newSolver :: Int -> [(Double, Clause)] -> 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 ()