[Javabdd-devel] A full help or some examples

[SOHEILA H. <soh...@ya...>]

Dear All,

I want to use javaBDD package but I am not familiar with the syntax.
Is there any basic example that show me how to use it?

Any help will be highly appreciated.

Soheila Haghpanah.