mios-1.6.2: A Minisat-based CDCL SAT solver in Haskell

Safe Haskell	Safe
Language	Haskell2010

SAT.Mios.OptionParser

Description

(This is a part of MIOS.) Command line option parser

Synopsis

data MiosConfiguration = MiosConfiguration {
- variableDecayRate :: !Double
- clauseDecayRate :: !Double
- dumpSolverStatMode :: !Int
- emaCoeffs :: !(Int, Int)
- restartExpansion :: !Double
- restartStep :: !Double
}
defaultConfiguration :: MiosConfiguration
data MiosProgramOption = MiosProgramOption {
- _targetFile :: Either String String
- _targets :: [String]
- _outputFile :: Maybe String
- _confVariableDecayRate :: Double
- _confClauseDecayRate :: Double
- _confRestartE :: Double
- _confRestartS :: Double
- _confCheckAnswer :: Bool
- _confVerbose :: Bool
- _confBenchmark :: Integer
- _confBenchSeq :: Int
- _confNoAnswer :: Bool
- _confDumpStat :: Int
- _validateAssignment :: Bool
- _displayHelp :: Bool
- _displayVersion :: Bool
}
miosDefaultOption :: MiosProgramOption
miosOptions :: [OptDescr (MiosProgramOption -> MiosProgramOption)]
miosUsage :: String -> String
miosParseOptions :: String -> [String] -> IO MiosProgramOption
miosParseOptionsFromArgs :: String -> IO MiosProgramOption
toMiosConf :: MiosProgramOption -> MiosConfiguration

Documentation

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 dumpSolverStatMode :: !Int dump stats data during solving emaCoeffs :: !(Int, Int) the coefficients for restarts restartExpansion :: !Double restart expansion factor restartStep :: !Double static Steps between restarts

Instances

Eq MiosConfiguration Source #
Instance details Defined in SAT.Mios.Types Methods (==) :: MiosConfiguration -> MiosConfiguration -> Bool # (/=) :: MiosConfiguration -> MiosConfiguration -> Bool #
Ord MiosConfiguration Source #
Instance details Defined in SAT.Mios.Types Methods compare :: MiosConfiguration -> MiosConfiguration -> Ordering # (<) :: MiosConfiguration -> MiosConfiguration -> Bool # (<=) :: MiosConfiguration -> MiosConfiguration -> Bool # (>) :: MiosConfiguration -> MiosConfiguration -> Bool # (>=) :: MiosConfiguration -> MiosConfiguration -> Bool # max :: MiosConfiguration -> MiosConfiguration -> MiosConfiguration # min :: MiosConfiguration -> MiosConfiguration -> MiosConfiguration #
Read MiosConfiguration Source #
Instance details Defined in SAT.Mios.Types Methods readsPrec :: Int -> ReadS MiosConfiguration # readList :: ReadS [MiosConfiguration] # readPrec :: ReadPrec MiosConfiguration # readListPrec :: ReadPrec [MiosConfiguration] #
Show MiosConfiguration Source #
Instance details Defined in SAT.Mios.Types Methods showsPrec :: Int -> MiosConfiguration -> ShowS # show :: MiosConfiguration -> String # showList :: [MiosConfiguration] -> ShowS #

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

data MiosProgramOption Source #

configuration swithces

Constructors

MiosProgramOption

Fields

_targetFile :: Either String String
_targets :: [String]
_outputFile :: Maybe String
_confVariableDecayRate :: Double
_confClauseDecayRate :: Double
_confRestartE :: Double
_confRestartS :: Double
_confCheckAnswer :: Bool
_confVerbose :: Bool
_confBenchmark :: Integer
_confBenchSeq :: Int
_confNoAnswer :: Bool
_confDumpStat :: Int
_validateAssignment :: Bool
_displayHelp :: Bool
_displayVersion :: Bool

miosDefaultOption :: MiosProgramOption Source #

default option settings

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

definition of mios option

miosUsage :: String -> String Source #

generates help message

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

builds MiosProgramOption from string given as command option

miosParseOptionsFromArgs :: String -> IO MiosProgramOption Source #

builds MiosProgramOption from a String

toMiosConf :: MiosProgramOption -> MiosConfiguration Source #

converts MiosProgramOption into SIHConfiguration