my_SAT_solver NeurSAT implementation in Pytorch git clone https://github.com/liffiton/PyMiniSolvers.git inside the main directory.