Copyright | (c) Masahiro Sakai 2018 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | provisional |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Extensions |
|
Synopsis
- type SAT2MaxCutInfo = ComposedTransformer SAT2NAESATInfo NAESAT2MaxCutInfo
- sat2maxcut :: CNF -> ((Problem Integer, Integer), SAT2MaxCutInfo)
- type NAESAT2MaxCutInfo = ComposedTransformer NAESAT2NAEKSATInfo NAE3SAT2MaxCutInfo
- naesat2maxcut :: NAESAT -> ((Problem Integer, Integer), NAESAT2MaxCutInfo)
- data NAE3SAT2MaxCutInfo = NAE3SAT2MaxCutInfo
- nae3sat2maxcut :: NAESAT -> ((Problem Integer, Integer), NAE3SAT2MaxCutInfo)
SAT to MaxCut conversion
sat2maxcut :: CNF -> ((Problem Integer, Integer), SAT2MaxCutInfo) Source #
Low-level conversion
NAE-SAT to MaxCut
naesat2maxcut :: NAESAT -> ((Problem Integer, Integer), NAESAT2MaxCutInfo) Source #
NAE-3-SAT to MaxCut
data NAE3SAT2MaxCutInfo Source #
Instances
Read NAE3SAT2MaxCutInfo Source # | |
Defined in ToySolver.Converter.SAT2MaxCut | |
Show NAE3SAT2MaxCutInfo Source # | |
Defined in ToySolver.Converter.SAT2MaxCut showsPrec :: Int -> NAE3SAT2MaxCutInfo -> ShowS # show :: NAE3SAT2MaxCutInfo -> String # showList :: [NAE3SAT2MaxCutInfo] -> ShowS # | |
Eq NAE3SAT2MaxCutInfo Source # | |
Defined in ToySolver.Converter.SAT2MaxCut (==) :: NAE3SAT2MaxCutInfo -> NAE3SAT2MaxCutInfo -> Bool # (/=) :: NAE3SAT2MaxCutInfo -> NAE3SAT2MaxCutInfo -> Bool # | |
BackwardTransformer NAE3SAT2MaxCutInfo Source # | |
ForwardTransformer NAE3SAT2MaxCutInfo Source # | |
Transformer NAE3SAT2MaxCutInfo Source # | |
Defined in ToySolver.Converter.SAT2MaxCut type Source NAE3SAT2MaxCutInfo Source # type Target NAE3SAT2MaxCutInfo Source # | |
type Source NAE3SAT2MaxCutInfo Source # | |
Defined in ToySolver.Converter.SAT2MaxCut | |
type Target NAE3SAT2MaxCutInfo Source # | |
Defined in ToySolver.Converter.SAT2MaxCut |
nae3sat2maxcut :: NAESAT -> ((Problem Integer, Integer), NAE3SAT2MaxCutInfo) Source #