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

Latest Releases

Dependencies (0)

Development dependencies (0)

Repository

crbdd

Owner

avohra25

Statistic

0
0
0
0
0
about 1 hour ago
November 13, 2026

License

MIT License

Links

Synced at

Fri, 13 Nov 2026 19:03:52 GMT

Languages