GitHub repository: logictensornetworks/LTNtorch
Primary language: Python
Description: PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.