CHOLMOD: Don't include external headers in extern "C" block.
#35
| Job | Run time |
|---|---|
| 11m 31s | |
| 2h 22m 48s | |
| 2h 52m 21s | |
| 2h 16m 20s | |
| 2h 5m 48s | |
| 9h 48m 48s |
extern "C" block.
#35
| Job | Run time |
|---|---|
| 11m 31s | |
| 2h 22m 48s | |
| 2h 52m 21s | |
| 2h 16m 20s | |
| 2h 5m 48s | |
| 9h 48m 48s |