can not find pysat=0.1.3

machine-reasoning-ufrgs / GNN-GCP

Graph Neural Network architecture to solve the decision version of the graph coloring problem (GCP)

https://machine-reasoning-ufrgs.github.io/GNN-GCP/

25 stars 7 forks source link

can not find pysat=0.1.3 #2

Open forestlin7 opened 2 years ago

forestlin7 commented 2 years ago

I can't download pysat=0.1.3. After downloading pysat=0.1.7, the pysolvers function in solvers.py in the pysat package (as in other versions) cannot be successfully imported. How should I deal with this situation? Can you share the package pysat=0.1.3 with us