SATNet

SATNet copied to clipboard

Install error in both Colab and Ubuntu22.04

1

Hi! I try to install your library, but I encounter the error: In Ubuntu 22.04: `satnet_cuda.cu(165): error: identifier "saturate" is undefined`. I am using Python3.11, and Pytorch 2.2.2, CUDA 12.2....

aruiplex

Hello. Firstly I tried to install this package from pip. I got error saying no such file called satnet.h There is a similar issue in the issues and then I...

ZhaoZiyu1998

How to get rules generated for Sudoku Solver?

3

I was trying to replicate the results in the experiment and was having a hard time finding the rules generated. Is there any method to get the rules generated? It...

joshuanoronha

Unable to install satnet through pip due to compilation error

5

Hello, I was trying to install `satnet` using `pip`, but I ran into some difficulty. It appears that the compiler is unable to locate the necessary header files, even though...

gbrlfaria

Training on CPU: "invalid on input"

5

Hi, I'm trying to run the parity experiment locally on my CPU: ``` python exps/parity.py --seq=20 ``` But at Epoch 18 I get the error `invalid on input`: ``` Epoch...

fdietze

Failed on running Suodku example with CUDA

8

Thanks for this project and it is awesome! I installed satnet through pip. But when I run the visual-sudoku examples, this error occurs: 

bywbilly

different sign on the gradients dS, dz and line6 in algorithm 3

1

Hi Dr. Po-Wei Wang many thanks for opensourcing this greate work. When I read through your code. I have noticed there are a few differnce between the code and the...

Sichao-Yang