Portability | portable |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | None |
Documentation
Options for enumMCSAssumptions
, allMCSAssumptions
, allMUSAssumptions
defaultOptions :: OptionsSource
default Options
value
hittingSetDual :: [MCS] -> [MUS]Source