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

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

diff --git a/src/cadical.hpp b/src/cadical.hpp
index cbe476d..5837547 100644
--- a/src/cadical.hpp
+++ b/src/cadical.hpp
@@ -705,6 +705,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 e6e7d28..8bc4838 100644
--- a/src/ccadical.cpp
+++ b/src/ccadical.cpp
@@ -176,5 +176,6 @@ void ccadical_melt (CCaDiCaL * ptr, int lit) {
 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 332f842..01c75e5 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 31b1610..b502623 100644
--- a/src/solver.cpp
+++ b/src/solver.cpp
@@ -1307,3 +1307,5 @@ void Solver::error (const char * fmt, ...) {
 }
 
 }
+
+#include "solver_extension.cpp"
-- 
2.45.2