print_state, print_level in Lookahead classes
-n option in cnfbdd
Merge branch 'develop' of https://github.com/kunisura/TdZdd into develop

* 'develop' of https://github.com/kunisura/TdZdd:
  Update README.md