diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-09-29 14:12:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-29 14:12:01 +0200 |
| commit | bf6e1c3516a4eb0509c12b00d9a1baf6ee119987 (patch) | |
| tree | 95ab133f9771c4791d5c784f1b3d4822b1dd7d3c /src/solvers/h48/h48.h | |
| parent | 774a824a6c80b5af495f4fb99d98758e3b9f6b81 (diff) | |
| parent | 7a52b4cd50a40e4bce919b6bd51203d0e9867141 (diff) | |
| download | nissy-core-bf6e1c3516a4eb0509c12b00d9a1baf6ee119987.tar.gz nissy-core-bf6e1c3516a4eb0509c12b00d9a1baf6ee119987.zip | |
Merge pull request #3 from enricotenuti/master
Threaded solver
Diffstat (limited to 'src/solvers/h48/h48.h')
| -rw-r--r-- | src/solvers/h48/h48.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/solvers/h48/h48.h b/src/solvers/h48/h48.h index 18153d1..176ce22 100644 --- a/src/solvers/h48/h48.h +++ b/src/solvers/h48/h48.h | |||
| @@ -4,3 +4,4 @@ | |||
| 4 | #include "gendata_h48.h" | 4 | #include "gendata_h48.h" |
| 5 | #include "stats.h" | 5 | #include "stats.h" |
| 6 | #include "solve.h" | 6 | #include "solve.h" |
| 7 | #include "solve_multithread.h" | ||