Development snapshot
Reconstruction for the first release
README
Update README.md
Add example1.png
Update README.md
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
Shrink example1.png by half.
Update README.md
Update README.md
Update README.md
Update README.md
Update README.md
Fix a problem on 32bit machines
Make in sub-directories
Added example input files
DdSpec -> DdSpecBase
ScalarDdSpec -> DdSpec
New option: -c
typo
BigNumber::shiftLeft bug fixed