crbdd

Reduced ordered binary decision diagrams in pure Crystal: ITE with unique/computed tables, quantification, model counting, sifting reordering, expression parser and CLI