Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
command line option parser for mios
- data MiosConfiguration = MiosConfiguration {}
- defaultConfiguration :: MiosConfiguration
- data MiosProgramOption = MiosProgramOption {}
- 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
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