biodivine-lib-bdd (cargo): A simple thread-safe implementation of basic binary decision diagrams.
Keywords: symbolic|boolean-expression|bdd