2 projects
circuit-transformer
An end-to-end Transformer model that efficiently produces logic circuits strictly equivalent to given Boolean functions.
npn
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.
