bex

A rust library for working with boolean expressions (expression trees, decision diagrams, etc.)