[bddbddb-devel] Domain size and scalability of equality

[Luke S. <luk...@gm...>]

I am currently running to scalability issues with the equality predicate on
a domain 32 bits in size (2^32).  Since domains are a fixed size, I have to
choose a fixed size that is large enough for analyzing any target
application.  However, even for a domain size of 2^32, the initialization of
the equality predicate does not terminate.  When using libbuddy, it
segfaults.  When using the pure Java BDD solver, it simply runs out of
memory.


For now, I am going to scale back to using a fixed domain size of 2^20, and
just hope that I don't run into an application that needs  a larger domain.