ToySolver.SAT.Config
data Config
data RestartStrategy
showRestartStrategy
parseRestartStrategy
data LearningStrategy
showLearningStrategy
parseLearningStrategy
data BranchingStrategy
showBranchingStrategy
parseBranchingStrategy
data PBHandlerType
showPBHandlerType
parsePBHandlerType
defaultRestartFirst
defaultRestartInc
defaultLearntSizeFirst
defaultLearntSizeInc
defaultCCMin
defaultEnablePhaseSaving
defaultEnableForwardSubsumptionRemoval
defaultEnableBackwardSubsumptionRemoval
defaultRandomFreq
defaultPBSplitClausePart