Added DRFIN solver

1 files changed, 12 insertions, 0 deletions

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';
+}