Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
Primary LanguageRustMIT LicenseMIT