Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / saturnin13 / SATs-graph-neural-network-solver

A package containing several modulable part to provide a foundation and foster further research in SATisfiability problem solving with Graph Neural Network.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/saturnin13%2FSATs-graph-neural-network-solver

Stars: 4
Forks: 0
Open Issues: 5

License: None
Language: Python
Repo Size: 3.22 MB
Dependencies: 39

Created: over 4 years ago
Updated: over 1 year ago
Last pushed: over 1 year ago
Last synced: about 1 year ago

Files

Readme

Dependencies

requirements.txt pypi

CNFgen ==0.8.4.1
Pillow ==6.2.1
ansicolors ==1.1.8
certifi ==2019.9.11
chardet ==3.0.4
colorama ==0.4.3
console-progressbar ==1.1.2
cycler ==0.10.0
decorator ==4.4.1
googledrivedownloader ==0.4
h5py ==2.10.0
idna ==2.8
isodate ==0.6.0
joblib ==0.14.0
kiwisolver ==1.1.0
matplotlib ==3.1.2
networkx ==2.4
numpy ==1.17.4
pandas ==0.25.3
plyfile ==0.7.1
pydot ==1.4.1
pyparsing ==2.4.5
python-dateutil ==2.8.1
python-sat ==0.1.5.dev3
python-utils ==2.3.0
pytz ==2019.3
rdflib ==4.2.2
requests ==2.22.0
scikit-learn ==0.21.3
scipy ==1.3.2
six ==1.13.0
torch ==1.3.1
torch-cluster ==1.4.5
torch-geometric ==1.3.2
torch-scatter ==1.4.0
torch-sparse ==0.4.3
torchvision ==0.4.2
urllib3 ==1.25.7

Dockerfile docker

nvcr.io/nvidia/pytorch 19.12-py3 build