-
|
I was thinking that self contained container where everything can be done where it fully works and is installed/used once would be the best. But I found out that the container given does not work with GPU. I am curious, why does it not work with GPU and is it hard to extend it to work with GPU? (also testing the first discussion feature!) |
Beta Was this translation helpful? Give feedback.
Replies: 2 comments
-
|
e.g. it could help avoid this sort of error: #20 |
Beta Was this translation helpful? Give feedback.
-
|
That was because Singularity didn't have reliable GPU support at the time when CoqGym was released. But it looks like things are different now: https://sylabs.io/guides/3.5/user-guide/gpu.html. I plan to add GPU support to CoqGym's Singularity container when I get a chance, though it may take some time. |
Beta Was this translation helpful? Give feedback.
That was because Singularity didn't have reliable GPU support at the time when CoqGym was released. But it looks like things are different now: https://sylabs.io/guides/3.5/user-guide/gpu.html.
I plan to add GPU support to CoqGym's Singularity container when I get a chance, though it may take some time.