A boolean matcher that computes the NPN canonical representative for a given boolean function. - View it on GitHub