Menu

#7 non-recursive support for bdd_allsat

open
nobody
code (7)
5
2006-04-12
2006-04-12
axelco
No

Buddy 2.2 makes a mistake in the function bdd_allsat
when you try to run it with a direct or indirect
recursive call.

I haven't yet checked the source code, but apparently
it's caused because bdd_allsat uses in every call THE
SAME location in memory to store a char * array called
varset.

Discussion


Log in to post a comment.