GitHub repository: mluszczyk/deepsat
Primary language: Jupyter Notebook
Created: 2018-03-14T12:05:47Z
Description: Solve SAT with neural networks