From d87e6795eb7c13dedf16b1965102199a3a4d6c93 Mon Sep 17 00:00:00 2001
From: Christoph Jabs <christoph.jabs@helsinki.fi>
Date: Thu, 11 Jul 2024 15:52:35 +0300
Subject: [PATCH] extend C api

---
 src/cadical.hpp  | 2 ++
 src/ccadical.cpp | 2 ++
 src/ccadical.h   | 2 ++
 src/solver.cpp   | 2 ++
 4 files changed, 8 insertions(+)

diff --git a/src/cadical.hpp b/src/cadical.hpp
index 0ce3e82..6794af6 100644
--- a/src/cadical.hpp
+++ b/src/cadical.hpp
@@ -842,6 +842,8 @@ public:
   //
   static void build (FILE *file, const char *prefix = "c ");
 
+#include "cadical_extension.hpp"
+
 private:
   //==== start of state ====================================================
 
diff --git a/src/ccadical.cpp b/src/ccadical.cpp
index ac11e44..8747cbf 100644
--- a/src/ccadical.cpp
+++ b/src/ccadical.cpp
@@ -174,3 +174,5 @@ int ccadical_frozen (CCaDiCaL *ptr, int lit) {
   return ((Wrapper *) ptr)->solver->frozen (lit);
 }
 }
+
+#include "ccadical_extension.cpp"
diff --git a/src/ccadical.h b/src/ccadical.h
index 30a79b3..f782606 100644
--- a/src/ccadical.h
+++ b/src/ccadical.h
@@ -56,6 +56,8 @@ int ccadical_simplify (CCaDiCaL *);
 #define ccadical_sat ccadical_solve
 #define ccadical_deref ccadical_val
 
+#include "ccadical_extension.h"
+
 /*------------------------------------------------------------------------*/
 #ifdef __cplusplus
 }
diff --git a/src/solver.cpp b/src/solver.cpp
index 520664d..1306c76 100644
--- a/src/solver.cpp
+++ b/src/solver.cpp
@@ -1532,3 +1532,5 @@ void Solver::error (const char *fmt, ...) {
 }
 
 } // namespace CaDiCaL
+
+#include "solver_extension.cpp"
-- 
2.45.2