use dead edges to improve solver speed

1 files changed, 6 insertions, 0 deletions

diff --git a/src/core/sok.h b/src/core/sok.h
index d24d22b..0acb1ff 100644
--- a/src/core/sok.h
+++ b/src/core/sok.h
@@ -120,6 +120,7 @@ typedef struct {
 /***********/
 
 #define SOK_CTX_MAX_MOVES 1024
+#define SOK_CTX_MAX_DEAD_EDGES 1024
 
 typedef struct {
   sok_level_t level;
@@ -140,6 +141,11 @@ typedef struct {
   // box positions
   sok_pos_t boxes[SOK_LEVEL_MAX_BOXES];
 
+  struct {
+    sok_pos_t src, dst;
+  } dead_edges[SOK_CTX_MAX_DEAD_EDGES];
+  size_t num_dead_edges;
+
   // user data
   void *user_data;
 } sok_ctx_t;