Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

Daniil Averkov, Tatiana Belova, Gregory Emdin +8

We present an open-source tool for manipulating Boolean circuits. It implements efficient algorithms, both existing and novel, for a rich variety of frequently used circuit tasks s…