PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
tommasocarraro
logictensornetworks