From bcd52547af58b15868e24f3904e307548d1fd505 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 14 Dec 2025 15:12:36 +0100 Subject: Cleanup, update documentation, fix examples --- web/adapter.cpp | 11 +++++------ web/http/index.html | 8 ++++---- 2 files changed, 9 insertions(+), 10 deletions(-) (limited to 'web') 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 loaded_solvers; const std::set available_solvers { - "h48h0k4", - "h48h1k2", - "h48h2k2", - "h48h3k2", - "h48h4k2", - "h48h5k2", + "h48h1", + "h48h2", + "h48h3", + "h48h4", + "h48h5", }; bool is_solver_available(const std::string& name) diff --git a/web/http/index.html b/web/http/index.html index 6bd976b..b678ec5 100644 --- a/web/http/index.html +++ b/web/http/index.html @@ -12,11 +12,11 @@
-- cgit v1.3