msakai / haskell-decision-diagrams

86%

main: 88%

LAST BUILD ON BRANCH feature/num-nodes

branch: feature/num-nodes

CHANGE BRANCH

x

Reset

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

add BDD.numNodes and ZDD.numNodes