Use spack bootstrap now
to find clingo
#204
Job | Run time |
---|---|
4m 45s | |
4m 45s |
spack bootstrap now
to find clingo
#204
Job | Run time |
---|---|
4m 45s | |
4m 45s |