SAT.Mios.OptionParser

command line option parser for mios

Documentation

data MiosConfiguration

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

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).

data MiosProgramOption

configuration swithces

Constructors

MiosProgramOption

Fields

• _targetFile :: Maybe String
• _outputFile :: Maybe String
• _confVariableDecayRate :: !Double
• _confCheckAnswer :: !Bool
• _confVerbose :: !Bool
• _confTimeProbe :: !Bool
• _confStatProbe :: !Bool
• _confNoAnswer :: !Bool
• _validateAssignment :: !Bool
• _displayHelp :: !Bool
• _displayVersion :: !Bool

miosDefaultOption :: MiosProgramOption

default option settings

miosOptions :: [OptDescr (MiosProgramOption -> MiosProgramOption)]

definition of mios option

miosUsage :: String -> String

generates help message

miosParseOptions :: String -> [String] -> IO MiosProgramOption

builds MiosProgramOption from string given as command option

miosParseOptionsFromArgs :: String -> IO MiosProgramOption

builds MiosProgramOption from a String

toMiosConf :: MiosProgramOption -> MiosConfiguration

converts MiosProgramOption into SIHConfiguration