update

gipsyh · Jan 2, 2025 · 5c648eb · 5c648eb
1 parent 4bf8191
commit 5c648eb
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -13,9 +13,6 @@
 [submodule "deps/abc-rs"]
 	path = deps/abc-rs
 	url = https://github.com/gipsyh/abc-rs.git
-[submodule "deps/btor-rs"]
-	path = deps/btor-rs
-	url = https://github.com/gipsyh/btor-rs.git
 [submodule "deps/cadical-rs"]
 	path = deps/cadical-rs
 	url = https://github.com/gipsyh/cadical-rs.git

diff --git a/deps/btor-rs b/deps/btor-rs