	readme.txt

	For GPDD1

	By Guoyong SHI, 09-17-2010

After extracting the files, you should put the directories as follows:

[ANY_DIR] --- BDDbase
          --- GPDD1
		      --- src
			  --- testckt

The BDDbase directory contains the code for BDD base.
It is an independent library for use in GPDD and DDD etc. that
use Binary Decision Diagrams. It is compiled separately from all
other BDD applications.

Do not try to modify the code in BDDbase. In case you have to,
run "make lib" to create a new "libbdd.a".

Remember to modify the HOME path defined in the Makefile in GPDD1/src
before you compile the source code.

