GitHub repository: neale/PySATDNN
Primary language: Python
Description: A tool for solving a 3 node neural network with PySMT