Downloadable computer software for providing a library of differentiable logic gate networks; Downloadable computer software for a framework for machine learning training and inference with logic gate networks; Downloadable computer software for machine learning training and inference; Downloadable computer software for artificial intelligence training and inference; Downloadable computer software for solving machine learning tasks using logic gate networks with discretization, optimization, ...