This repo contains scripts and C source code to check conjectures and propositions from the preprint "Quantum circuits of CNOT gates" available on arXiv and HAL Normandy University : https://arxiv.org/abs/2009.13247 https://hal-normandie-univ.archives-ouvertes.fr/hal-02948598.