Add -
and -=
operator overload to adiar::bdd
#664
Labels
📁 bdd
Binary Decision Diagrams
✨ feature
New operation or other feature
good first issue
Good for newcomers
Milestone
The
-
and-=
operatoradiar::bdd
should be added as an overload for theadiar::bdd_diff
function. Remember to add a test or two to ensure it works as intended.The text was updated successfully, but these errors were encountered: