Dd

API:

- require `networkx < 2.0.0`
- add module `dd._abc` that defines API implemented by other modules.
- add method `declare` to `BDD` classes
- add methods `implies` and `equiv` to class `cudd.Function`
- change BDD node reference syntax to " INTEGER"
- change `Function.__str__` to include `` in modules `cudd` and `autoref`
- deprecate `BDD` methods `compose`, `cofactor`, `rename`, `evaluate`,
instead use `BDD.let`
- class `BDD` in modules `autoref`, `bdd`, `cudd`, `sylvan`:
- methods `pick`, `pick_iter`:
rename argument from `care_bits` to `care_vars`
- class `BDD` in modules `autoref`, `bdd`:
- method `count`:
rename argument from `n` to `nvars`
- class `BDD` in modules `bdd`, `cudd`:
- allow swapping variables in method `rename`,
accept only variable names, not levels
- rm argument `bdd` from functions:
- `image`, `preimage` in module `autoref`
- `and_exists`, `or_forall`, `dump` in module `cudd`
- `and_exists`, `or_forall` in module `sylvan`
- rm argument `roots` from method `autoref.BDD.collect_garbage`
- rm argument `source` from function:
`copy_bdd` in modules `autoref`, `cudd`
- rm function `cudd.rename`, use method `cudd.BDD.let`
- rm function `autoref.rename`, use method `autoref.BDD.let`
- rm method `autoref.Function.__xor__`
- add TLA constants "TRUE" and "FALSE" to syntax,
use these in method `BDD.to_expr`

API:

- classes `cudd.BDD`, `autoref.BDD`, `bdd.BDD`:
- add method `let`, which will replace `compose`, `cofactor`, `rename`
- add method `pick`
- add method `pick_iter`, deprecate `sat_iter`
- add method `count`, deprecate `sat_len`
- allow copying node to same manager, but log warning
- class `sylvan.BDD`:
- add method `let`
- classes `cudd.Function`, `autoref.Function`:
- implement all comparison methods (`__le__`, `__lt__`)

API:

- dynamic variable reordering in `dd.bdd.BDD` (by default disabled)
- method `bdd.BDD.sat_len`: count only levels in support (similar to CUDD)
- class `autoref.Function`:
- rename attribute `bdd` to `manager`
- classes `cudd.Function`, `autoref.Function`, `sylvan.Function`:
- add attributes `var, support, bdd`
- add method `__hash__`
- classes `cudd.Function` and `sylvan.Function`:
- hide attribute `index` as `_index`
- classes `cudd.BDD` and `sylvan.BDD`:
- do not memoize attributes `false` and `true`
- classes `cudd.BDD` and `autoref.BDD`:
- add method `find_or_add`
- method `BDD.sat_iter`:
- rm arg `full`
- `care_bits = support` as default
- `care_bits < support` allowed
- function `bdd.to_pydot`: plot only levels in support of given node
- add function `autoref.reorder`

API:

- build `dd.cudd` using CUDD v3.0.0
(an older CUDD via an older `download.py` should work too)

API:

- classes `bdd.BDD`, `autoref.BDD`:
- rm attribute `ordering`, use `vars`
- rename `__init__` argument `ordering` to `levels`
- allow passing path to CUDD during installation via `--cudd`

- add Cython interface `dd.sylvan` to Sylvan
- support TLA+ syntax

BUG:

- in Python 2 use `sys.maxint` for `bdd.BDD.max_nodes`

API:

- classes `bdd.BDD` and `cudd.BDD`:
- method `apply`: rm `"bimplies"` value
- raise `AssertionError` if `care_bits < support` in method `sat_iter`
- rm unused operator `!=` from parser grammar
- class `autoref.Function`:
- rename method `bimplies` to `equiv`