move C file and delete utils

bsubercaseaux · Jun 9, 2024 · 86c03f0 · 86c03f0
1 parent d3094c5
commit 86c03f0
Show file tree

Hide file tree

Showing 7 changed files with 5 additions and 578 deletions.
diff --git a/utils/6hole.c → Heule_Scheucher.c b/utils/6hole.c → Heule_Scheucher.c
@@ -1,3 +1,8 @@
+/*
+ * Encoding used by Heule and Scheucher.
+ *  We sourced this C file directly from them.
+ */
+
 #include <stdio.h>
 #include <stdlib.h>
 #include <assert.h>

diff --git a/utils/6hole-cube.c b/utils/6hole-cube.c
diff --git a/utils/HoleComputation.ts b/utils/HoleComputation.ts
diff --git a/utils/cubing_taut.py b/utils/cubing_taut.py