From 9df6811626d11ecb6b0cb15cb3a4be6d7ad479a1 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Wed, 28 May 2025 16:26:47 +0200
Subject: Revert memory64 and improve frontend for web version

---
 web/adapter.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'web/adapter.cpp')

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
 	"h48h1k2",
 	"h48h2k2",
 	"h48h3k2",
-	"h48h7k2",
+	"h48h4k2",
+	"h48h5k2",
 };
 
 std::map<std::string, nissy::solver> loaded_solvers;
-- 
cgit v1.3