johnyf / dd / 202

Builds Branch Commit Type Ran Committer Via Coverage
202 dev API: rephrase message in `cudd.Function.__str__` push johnyf travis-ci pending completion   set done
201 dev TST: call the methods `exist` and `forall` instead of `quantify` because these are preferred. push johnyf travis-ci pending completion   set done
198 dev TST: `autoref` functions `image, preimage, reorder, copy_vars, copy_bdd` push johnyf travis-ci pending completion   set done
197 dev STY: shorter markdown lines, to the extent understood by github push johnyf travis-ci pending completion   set done
196 dev ENH: add methods `cudd.Function.let, exist, forall, pick, count` push johnyf travis-ci pending completion   set done
195 dev ENH: add method `BDD.declare` in modules `cudd` and `sylvan` push johnyf travis-ci pending completion   set done
194 dev DOC: fix broken URLs push johnyf travis-ci pending completion   set done
193 dev EXP: use line breaks only outside URLs push johnyf travis-ci pending completion   set done
192 dev EXP: try with only one line break outside the URL push johnyf travis-ci pending completion   set done
191 dev EXP: try null character push johnyf travis-ci pending completion   set done
190 dev EXP: try escaping newline push johnyf travis-ci pending completion   set done
189 dev DOC: add license information to documentation to avoid ambiguity. push johnyf travis-ci pending completion   set done
188 dev DRAFT: add module `dd.abc` that specifies ABC push johnyf travis-ci pending completion   set done
186 master REL: bump version to 0.5.2 push johnyf travis-ci pending completion   set done
187 v0.5.1 DOC: add version 0.5.1 to CHANGELOG push johnyf travis-ci pending completion   set done