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