tididi v0.1.0 — Tree Decision Diagrams: canonical vtree-shaped decision diagrams for Boolean functions, with model counting and semiring evaluation

Sign in to join the discussion — your thebay.events account works here.