Copyright | (c) Masahiro Sakai 2019 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | provisional |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Extensions |
|
ToySolver.SAT.Encoder.Cardinality
Description
Documentation
Constructors
Naive | |
SequentialCounter | |
ParallelCounter | |
Totalizer |
Instances
Bounded Strategy Source # | |
Enum Strategy Source # | |
Defined in ToySolver.SAT.Encoder.Cardinality | |
Eq Strategy Source # | |
Ord Strategy Source # | |
Defined in ToySolver.SAT.Encoder.Cardinality | |
Show Strategy Source # | |
type TotalizerDefinitions = Definitions Source #
getTotalizerDefinitions :: PrimMonad m => Encoder m -> m TotalizerDefinitions Source #
evalTotalizerDefinitions :: IModel m => m -> TotalizerDefinitions -> [(Var, Bool)] Source #