A Library for Differentiable Logic Gate Networks - View it on GitHub