mios-1.3.0: A Minisat-based SAT solver in Haskell

Safe HaskellSafe
LanguageHaskell2010

SAT.Mios.Internal

Description

Mios Internal Settings

Synopsis

Documentation

versionId :: String Source #

version name

data MiosConfiguration Source #

solver's parameters; random decision rate was dropped.

Constructors

MiosConfiguration 

Fields

  • variableDecayRate :: !Double

    decay rate for variable activity , clauseDecayRate :: !Double -- ^ decay rate for clause activity

defaultConfiguration :: MiosConfiguration Source #

dafault configuration

  • Minisat-1.14 uses (0.95, 0.999, 0.2 = 20 / 1000).
  • Minisat-2.20 uses (0.95, 0.999, 0).
  • Gulcose-4.0 uses (0.8 , 0.999, 0).
  • Mios-1.2 uses (0.95, 0.999, 0).