remove extra files

bsubercaseaux · Jun 8, 2024 · cc6ec52 · cc6ec52
1 parent ded5ee0
commit cc6ec52
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 312,486 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,6 +1,7 @@
 .DS_Store/
 .DS_Store
 *.cnf
+*.icnf
 .direnv/
 utils/HoleComputation.js
 *.drat

diff --git a/cube_checking/check_tautology.sh b/cube_checking/check_tautology.sh
diff --git a/cube_checking/cube_gen b/cube_checking/cube_gen