Portability | non-portable |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | None |
Minimal Unsatifiable Subset (MUS) Finder
- data Options = Options {
- optLogger :: String -> IO ()
- optUpdateBest :: [Lit] -> IO ()
- optLitPrinter :: Lit -> String
- defaultOptions :: Options
- findMUSAssumptions :: Solver -> Options -> IO [Lit]
Documentation
Options for findMUSAssumptions
function
Options | |
|
defaultOptions :: OptionsSource
default Options
value
findMUSAssumptions :: Solver -> Options -> IO [Lit]Source
Find a minimal set of assumptions that causes a conflict.
Initial set of assumptions is taken from failedAssumptions
.