Cirbo is a Python library that provides methods for Boolean circuit manipulation, analysis, and synthesis The main library features are described in the paper "Cirbo: A New Tool for Boolean Circuit ...

This package is a boolean matcher. It simply computes the canonical representative, which is unique for each NPN equivalence class, for a given boolean function represented by truth table. The backend ...