msakai / haskell-decision-diagrams

86%

main: 88%

LAST BUILD ON BRANCH feature/zdd-subsets

branch: feature/zdd-subsets

CHANGE BRANCH

x

Reset

• feature/zdd-subsets
• HEAD
• avoid-spurious-incomplete-patterns-warning
• clean-up-tests
• feature/algebra-coalgebra
• feature/bdd-leaf
• feature/bdd-more-ops
• feature/bdd-sat
• feature/bdd-uniform-sat
• feature/callstack
• feature/common-sig
• feature/desc-order
• feature/doc-test
• feature/fixpoints
• feature/fold-laziness
• feature/graph
• feature/more-ops
• feature/num-nodes
• feature/other-extensions
• feature/restrictLaw-tests
• feature/shared-graph-type
• feature/signature-types
• feature/unfold
• feature/work-on-newtype-instead-of-node-type
• feature/zdd-min-max
• feature/zdd-test-jdd
• hide-node-type
• main
• ops-cleanup
• refine-to-list
• separate-and-bounds-dependencies
• test
• uniformM-test-no-quickcheck-monadic
• update-stack-lts-202208
• zdd-uniform-test-less-flaky

add ZDD.subsets