Use spack bootstrap now
to find clingo
#198
Job | Run time |
---|---|
1m 32s | |
1m 32s |
spack bootstrap now
to find clingo
#198
Job | Run time |
---|---|
1m 32s | |
1m 32s |