Last released Mar 24, 2024
A boolean matcher that computes the canonical representative, which is unique for each NPN equivalence class, for a given boolean function represented by truth table.
Supported by
