From bcd52547af58b15868e24f3904e307548d1fd505 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Sun, 14 Dec 2025 15:12:36 +0100
Subject: Cleanup, update documentation, fix examples

---
 web/adapter.cpp | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to 'web/adapter.cpp')

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;
 
 const std::set<std::string> available_solvers
 {
-	"h48h0k4",
-	"h48h1k2",
-	"h48h2k2",
-	"h48h3k2",
-	"h48h4k2",
-	"h48h5k2",
+	"h48h1",
+	"h48h2",
+	"h48h3",
+	"h48h4",
+	"h48h5",
 };
 
 bool is_solver_available(const std::string& name)
-- 
cgit v1.3