adf-bdd-bin (cargo): Solver for ADFs grounded, complete, and stable semantics by utilising OBDDs - ordered binary decision diagrams
Keywords: argumentation-frameworks|argumentation-tools|binary-decision-diagrams