Version matching the release of our IJCAI'23 paper "Scalable Coupling of Deep Learning with Logical Reasoning" (https://arxiv.org/abs/2305.07617).