SI2 - SSE: A Next-Generation Decision Diagram Library ProjectCategory: GrantsTags: PI: Andrew MinerCo PI: Gianfranco Ciardo