-
Notifications
You must be signed in to change notification settings - Fork 6
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
add TDDFunction::eval
?
#27
Comments
Did you enable the
The TDD implementation is certainly not as feature-rich as the B(C)DD/ZBDD implementations yet. Currently, the API mostly consists of methods to apply operators like conjunction etc., but it is not difficult to add methods for evaluation/satisfiablity checking. I have to admit that I’m not too deep into the common terminology for three-valued logic, so I’d need to think a bit about what satisfiability etc. actually mean: For example, in Boolean logic/BDDs, satisfiability of a function If you have concrete requests for new methods along with a short specification, then I should be able to implement them rather quickly. |
Oops, I thought I had, but I think I had introduced the dependency in my workspace
Yes, I shouldn't have even mentioned satisfiability, I agree the definition is not obvious. All I'm actually looking for is the |
Thank you for this library!
I notice that the version of
oxidd
released on crates.rs doesn't appear to includeoxidd::tdd
.In experimentation locally with the git main branch, I can construct a
TDDFunction
, but it seems to missing all methods for evaluation/satisfiability.How far is the TDD implementation from usability?
The text was updated successfully, but these errors were encountered: