locuslab/SATNet

Missing satnet.h file in the pip repo

ZhaoZiyu1998 opened this issue · 0 comments

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 double-checked the files from pip repo.

In the src of satnet of pip repo, it does missing the header file but in this scr of github version, there is the header file.

Therefore, could you update the pip repo so nobody
Screenshot 2023-07-21 190931
will be confused later

Bests