v0.5.0

What's Changed

• Generate graphs for coloring by @timbeurskens in #19
• allow inline evaluation, rename expect argument to filter by @timbeurskens in #20

Full Changelog: v0.4.2...v0.5.0

v0.4.2

What's Changed

• Print true variables in a model by @timbeurskens in #18

Full Changelog: v0.4.1...v0.4.2

v0.4.1

What's Changed

• Vertex ordering by @timbeurskens in #1
• Unique vertices by @timbeurskens in #2
• modify amn, aln, exn operators to support bdds instead of variables by @timbeurskens in #3
• implement amn, aln, exn in parser by @timbeurskens in #4
• fix faulty implication implementation by @timbeurskens in #8
• add tests for implication and bi-implication by @timbeurskens in #9
• Dot variable names by @timbeurskens in #6
• Counting comparison implementation by @timbeurskens in #7
• Parsetree dot by @timbeurskens in #10
• implement quantifier lists in parser and bdd evaluation by @timbeurskens in #11
• implement ite in parser and eval by @timbeurskens in #12
• add experimental examples by @timbeurskens in #5
• implement performance report for multiple runs by @timbeurskens in #13
• implement distribution plot for runtime benchmark by @timbeurskens in #14
• apply expectation filter on dot graphs by @timbeurskens in #16
• Prioritize simple formulas after negations by @timbeurskens in #17

New Contributors

• @timbeurskens made their first contribution in #1

Full Changelog: https://github.com/timbeurskens/rsbdd/commits/v0.4.1