diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2023-03-05 10:13:01 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2023-03-05 10:13:01 +0100 |
| commit | 87a15e960e31365698df7e06cd3e6b851e17c1a5 (patch) | |
| tree | 606a42e6251df3c24d92a2edefce723bdd103620 /src/threader_eager.h | |
| parent | 3bfd0bb403d62bd942d1912d085ea59b156062fd (diff) | |
| download | nissy-87a15e960e31365698df7e06cd3e6b851e17c1a5.tar.gz nissy-87a15e960e31365698df7e06cd3e6b851e17c1a5.zip | |
I made a mess, but it works. Still need to implement new optimal solver.
After that, a big redesign is due.
Diffstat (limited to '')
| -rw-r--r-- | src/threader_eager.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/threader_eager.h b/src/threader_eager.h new file mode 100644 index 0000000..e39b27f --- /dev/null +++ b/src/threader_eager.h | |||
| @@ -0,0 +1,8 @@ | |||
| 1 | #ifndef THREADER_EAGER_H | ||
| 2 | #define THREADER_EAGER_H | ||
| 3 | |||
| 4 | #include "solve.h" | ||
| 5 | |||
| 6 | extern Threader threader_eager; | ||
| 7 | |||
| 8 | #endif | ||
