cabal-version:       >=1.10
name:                zsdd
version:             0.2.0.0
synopsis:            Zero-Suppressed and Reduced Decision Diagrams
description:
  This package provides an efficient representation of propositions and families of sets as
  directed acyclic graphs.
  Internally this is a Free monad with shared subterms.
  All operations are linear in the size of the diagram, but the size of the
  diagram is also proportional to the number of operations.
  .
  There are two reduction stratergies 'Simple' and 'ZeroSup'.
  The former is generic and widely applicable, whereas the latter is specialised to sparse formulas.
  Sparse formulas are those with few models or where most atoms are false.
  A typical use cases of this mode is when modelling families of sets.
  .
  * Shin-ichi Minato, \"/Zero-suppressed BDDs for set manipulation in combinatorial problems/\",
    DAC '93: Proceedings of the 30th international Design Automation Conference
    <https://dl.acm.org/doi/10.1145/157485.164890>

-- bug-reports:
license:             BSD3
license-file:        LICENSE
author:              Eddie Jones
maintainer:          eddiejones2108@gmail.com
-- copyright:
category:            Data
build-type:          Simple
extra-source-files:  CHANGELOG.md

source-repository head
  type: git
  location: https://github.com/eddiejones2108/decision-diagrams

library
  exposed-modules:     Data.Diagram, Data.Diagram.Simple, Data.Diagram.ZeroSup
  -- other-modules:
  -- other-extensions:
  build-depends:       base                 >=4.13 && <4.14,
                       containers           >= 0.6.2 && < 0.7,
                       mtl                  >= 2.2.2 && < 2.3,
                       hashable             >= 1.3.0 && < 1.4,
                       unordered-containers >= 0.2.10 && < 0.3
  ghc-options:         -Wall
  hs-source-dirs:      src
  default-language:    Haskell2010

-- test-suite zsdd-test
--   default-language:    Haskell2010
--   type:                exitcode-stdio-1.0
--   hs-source-dirs:      test
--   main-is:             Test.hs
--   ghc-options:         -Wall
--   build-depends:       base >=4.13 && <4.14,
--                        zsdd,
--                        random,
--                        hashable,
--                        mtl