Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
(This is a part of MIOS.) Command line option parser
- data MiosConfiguration = MiosConfiguration {
- variableDecayRate :: !Double
- clauseDecayRate :: !Double
- dumpStat :: !Int
- defaultConfiguration :: MiosConfiguration
- data MiosProgramOption = MiosProgramOption {
- _targetFile :: Maybe String
- _targets :: [String]
- _outputFile :: Maybe String
- _confVariableDecayRate :: !Double
- _confClauseDecayRate :: Double
- _confMaxSize :: !Int
- _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.
MiosConfiguration | |
|
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
MiosProgramOption | |
|
miosDefaultOption :: MiosProgramOption Source #
default option settings
miosOptions :: [OptDescr (MiosProgramOption -> MiosProgramOption)] Source #
definition of mios option
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