Fbgb is a fast library for boolean groebner computation & NPN classification
Fbgb
Fast boolean groebner basis & NPN canonicalization library