neural-symbolic-computing
PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.