From 3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Tue, 5 Aug 2025 09:04:00 +0200
Subject: Added DRFIN solver

---
 src/solvers/tables.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/solvers/tables.h')

diff --git a/src/solvers/tables.h b/src/solvers/tables.h
index 1e76fc1..b7a1079 100644
--- a/src/solvers/tables.h
+++ b/src/solvers/tables.h
@@ -8,6 +8,7 @@ STATIC int64_t readtableinfo_n(
     size_t, const unsigned char *, uint8_t, tableinfo_t [static 1]);
 STATIC int64_t writetableinfo(
     const tableinfo_t [static 1], size_t, unsigned char *);
+STATIC void append_name(tableinfo_t [static 1], const char *);
 
 STATIC uint64_t
 read_unaligned_u64(const unsigned char buf[static sizeof(uint64_t)])
@@ -135,3 +136,14 @@ writetableinfo(
 
 	return NISSY_OK;
 }
+
+STATIC void
+append_name(tableinfo_t info[static 1], const char *str)
+{
+	int i, j;
+
+	for (i = 0, j = strlen(info->solver); str[i] != '\0'; i++, j++)
+		info->solver[j] = str[i];
+
+	info->solver[j] = '\0';
+}
-- 
cgit v1.3