1 files changed, 31 insertions, 0 deletions
diff --git a/extern/quadriflow/src/localsat.hpp b/extern/quadriflow/src/localsat.hpp
new file mode 100644
index 00000000000..af952320ebb
--- /dev/null
+++ b/extern/quadriflow/src/localsat.hpp
@@ -0,0 +1,31 @@
+#ifndef __LOCAL_SAT_H
+#define __LOCAL_SAT_H
+
+#include <Eigen/Core>
+#include <vector>
+
+namespace qflow {
+
+using namespace Eigen;
+
+enum class SolverStatus {
+    Sat,
+    Unsat,
+    Timeout,
+};
+
+SolverStatus SolveSatProblem(int n_variable, std::vector<int> &value,
+                             const std::vector<bool> flexible,  // NOQA
+                             const std::vector<Vector3i> &variable_eq,
+                             const std::vector<Vector3i> &constant_eq,
+                             const std::vector<Vector4i> &variable_ge,
+                             const std::vector<Vector2i> &constant_ge,
+                             int timeout = 8);
+
+void ExportLocalSat(std::vector<Vector2i> &edge_diff, const std::vector<Vector3i> &face_edgeIds,
+                    const std::vector<Vector3i> &face_edgeOrients, const MatrixXi &F,
+                    const VectorXi &V2E, const VectorXi &E2E);
+
+} // namespace qflow
+
+#endif