Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Mios Internal Settings
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)
.