diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-14 15:12:36 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-14 16:09:31 +0100 |
| commit | bcd52547af58b15868e24f3904e307548d1fd505 (patch) | |
| tree | cda0a871f65575bb15fb4536c7b103c13caf433e /web/adapter.cpp | |
| parent | 21fdf9697ddfab0a9c082a91ae0a79b1b574774c (diff) | |
| download | nissy-core-bcd52547af58b15868e24f3904e307548d1fd505.tar.gz nissy-core-bcd52547af58b15868e24f3904e307548d1fd505.zip | |
Cleanup, update documentation, fix examples
Diffstat (limited to '')
| -rw-r--r-- | web/adapter.cpp | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/web/adapter.cpp b/web/adapter.cpp index 9cb2e2d..ef9d425 100644 --- a/web/adapter.cpp +++ b/web/adapter.cpp | |||
| @@ -16,12 +16,11 @@ std::map<std::string, nissy::solver> loaded_solvers; | |||
| 16 | 16 | ||
| 17 | const std::set<std::string> available_solvers | 17 | const std::set<std::string> available_solvers |
| 18 | { | 18 | { |
| 19 | "h48h0k4", | 19 | "h48h1", |
| 20 | "h48h1k2", | 20 | "h48h2", |
| 21 | "h48h2k2", | 21 | "h48h3", |
| 22 | "h48h3k2", | 22 | "h48h4", |
| 23 | "h48h4k2", | 23 | "h48h5", |
| 24 | "h48h5k2", | ||
| 25 | }; | 24 | }; |
| 26 | 25 | ||
| 27 | bool is_solver_available(const std::string& name) | 26 | bool is_solver_available(const std::string& name) |