package zdd

version DEV

• minor performance improvement in hash-consing code
• added subset_closure
• added choose and choose_opt

version 0.5

• renamed elements into to_list
• added to_seq
• added iter and fold
• added printer to DOT format

version 0.4

• added example with nonograms
• used tail-recursive functions in the elements function
• added example with renzokus

version 0.3

• added iter_elt and fold_elt
• added on_elt and off_elt
• added symmetric difference
• added disjoint_join
• added joint_join
• added delta
• added div
• added rem
• added restrict
• added permit
• added non_superset
• added non_subset
• added min_hitting_set
• added closure
• added change_elt
• added nb_nodes
• added the n-queens example
• improved caching for symmetric operations
• added implementation with attributed edges
• removed remove_above and remove_below
• improved caching for symmetric operations (for zero-edges version)

version 0.2

• added exhaustive tests for families of {0,1,2}
• renamed plus/mult into join/meet to respect the usual nomenclature
• added cardinal_generic (allows the use of big integers)

version 0.1

• initial release