snowkylin/npn

A boolean matcher that computes the NPN canonical representative for a given boolean function.

Language: C++ - Size: 20.5 KB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 2