Re: [Javabdd-devel] BuDDy Out-of-Range error

[Hasan Q. <ha...@gm...>]

Hi John,

Thanks a lot for your reply.

> You will get that error if you pass in a number that is less than one or
> greater than the maximum number of variables (2097151).

I think the max number of variables is 2097151 only if BuDDY is
compiled with SMALL_NODES preprocessor off. I think the release
version of the library is compiled with  SMALL_NODES on which restrict
the max number of var to 1k (I think).

I did compile the library from source with SMALL_NODES  off. I am now
allowed to have up to (2 097 151 =(0x1FFFFF)) 2M variables as you
mentioned.

Do you think we should update the release?

Thanks,

Hasan