Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- satToIS :: CNF -> ((Graph, Int), SAT2ISInfo)
- type SAT2ISInfo = ComposedTransformer SAT2KSATInfo SAT3ToISInfo
- sat3ToIS :: CNF -> ((Graph, Int), SAT3ToISInfo)
- data SAT3ToISInfo
- is2pb :: (Graph, Int) -> (Formula, IS2SATInfo)
- mis2MaxSAT :: Graph -> (WCNF, IS2SATInfo)
- data IS2SATInfo
SAT to independent set problem conversion
3-SAT to independent set problem conversion
data SAT3ToISInfo Source #
Instances
Eq SAT3ToISInfo Source # | |
Defined in ToySolver.Converter.SAT2MIS (==) :: SAT3ToISInfo -> SAT3ToISInfo -> Bool # (/=) :: SAT3ToISInfo -> SAT3ToISInfo -> Bool # | |
Show SAT3ToISInfo Source # | |
Defined in ToySolver.Converter.SAT2MIS showsPrec :: Int -> SAT3ToISInfo -> ShowS # show :: SAT3ToISInfo -> String # showList :: [SAT3ToISInfo] -> ShowS # | |
BackwardTransformer SAT3ToISInfo Source # | |
Defined in ToySolver.Converter.SAT2MIS | |
ForwardTransformer SAT3ToISInfo Source # | |
Defined in ToySolver.Converter.SAT2MIS | |
Transformer SAT3ToISInfo Source # | |
Defined in ToySolver.Converter.SAT2MIS type Source SAT3ToISInfo Source # type Target SAT3ToISInfo Source # | |
type Source SAT3ToISInfo Source # | |
Defined in ToySolver.Converter.SAT2MIS | |
type Target SAT3ToISInfo Source # | |
Defined in ToySolver.Converter.SAT2MIS |
Maximum independent problem to MaxSAT/PB problem conversion
mis2MaxSAT :: Graph -> (WCNF, IS2SATInfo) Source #
data IS2SATInfo Source #