toysolver-0.8.1: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
Copyright(c) Masahiro Sakai 2016
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell2010
Extensions
  • MonoLocalBinds
  • ScopedTypeVariables
  • BangPatterns
  • TypeFamilies
  • KindSignatures
  • ExplicitNamespaces
  • ExplicitForAll

ToySolver.SAT.Solver.MessagePassing.SurveyPropagation

Description

Synopsis

The Solver type

Problem information

getNVars :: Solver -> IO Int Source #

number of variables of the problem.

getNConstraints :: Solver -> IO Int Source #

number of constraints of the problem.

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.

Solving

fixLit :: Solver -> Lit -> IO () Source #

Debugging