-
Notifications
You must be signed in to change notification settings - Fork 4
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Is it possiable to impl AndAbstract? #40
Comments
My understanding is that (I haven't used Anyway, I don't believe we have a more direct method right now to compute this, and this is definitely not optimal in terms of performance (the But it would certainly be nice to have a native implementation for this. I'll see what we can do... |
Logic is equivalent, but the efficiency is different. In some areas, (for example, model checking), a & b is very huge, but the finally result is not to much. AndAbstract allows for projecting certain variables while performing logical AND operation.
Ok, thanks! |
I see, the efficiency is a good point... I looked at the algorithm for I'll try to have a look at it later this week. |
Thanks! |
With version
For now, I haven't added an equivalent method to There are multiple correctness tests, so I am fairly confident the algorithm is ok. However, I haven't tested the performance on any practical problem yet. So if you see any weird performance with this algorithm, please let me know. |
I know this lib is different to cudd.
Is there a method to support this lib with AndAbstract?
The text was updated successfully, but these errors were encountered: