dbtdd v2.0.0 Released Aug. 4th 2015
========================================
* added the two options "-p" and "-m" in commandline.
* Implemented functionality that allows cooperation with AllSAT solver.
* Enabled to use BDD instead of DTDD.
* Organized Makefile.
