diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-05-28 16:26:47 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-05-28 16:26:47 +0200 |
| commit | 9df6811626d11ecb6b0cb15cb3a4be6d7ad479a1 (patch) | |
| tree | 93459f5edd5b015c6c1b6832c559d0c36aa17df3 /web/adapter.cpp | |
| parent | 2e122bdffbe7524f5ed6f7cb704bbd1b778a6b41 (diff) | |
| download | nissy-core-9df6811626d11ecb6b0cb15cb3a4be6d7ad479a1.tar.gz nissy-core-9df6811626d11ecb6b0cb15cb3a4be6d7ad479a1.zip | |
Revert memory64 and improve frontend for web version
Diffstat (limited to '')
| -rw-r--r-- | web/adapter.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/web/adapter.cpp b/web/adapter.cpp index 676390c..31d00fe 100644 --- a/web/adapter.cpp +++ b/web/adapter.cpp | |||
| @@ -23,7 +23,8 @@ const std::set<std::string> available_solvers | |||
| 23 | "h48h1k2", | 23 | "h48h1k2", |
| 24 | "h48h2k2", | 24 | "h48h2k2", |
| 25 | "h48h3k2", | 25 | "h48h3k2", |
| 26 | "h48h7k2", | 26 | "h48h4k2", |
| 27 | "h48h5k2", | ||
| 27 | }; | 28 | }; |
| 28 | 29 | ||
| 29 | std::map<std::string, nissy::solver> loaded_solvers; | 30 | std::map<std::string, nissy::solver> loaded_solvers; |