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 ...
Note: Most of my prior work has been in internal systems/data environments. This is a small public prototype to demonstrate my modeling approach and decision-support packaging. A small, reproducible ...