This is a Pytorch implmentation of Logic Tensor Networks(LTNs). You can check the original version of LTNs as follows:

• Logic Tensor Networks

• python 3.6
• pytorch >= 0.4.1
• numpy >= 1.16.3

• Implement Predicate - Ver 0.5
• Implement Function - Ver 0.5
• Implement the wrapper of LTNs - Ver 0.1
• Examples - Ver 0.1