Pinned Loading

1. EstimatingAbductor EstimatingAbductor Public

   Library for abductive inference in Zadeh's estimated logic.

   Python

2. LTN_pytorch LTN_pytorch Public

   Implementation of Logic Tensor Network through pytorch

   Jupyter Notebook

3. mySAT mySAT Public

   attempt to make neural SAT solver

   Python

4. neural-fuzzy-sat-solver neural-fuzzy-sat-solver Public

   Graph neural network for search fuzzy formula model

   Python

5. SysDA SysDA Public

   Analytics tableau for logic with estimates

   Python