rm lu

Z3Prover · Mar 8, 2023 · 6eedbd4 · 6eedbd4
1 parent e04e726
commit 6eedbd4
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 1,232 deletions.
diff --git a/src/math/lp/CMakeLists.txt b/src/math/lp/CMakeLists.txt
@@ -42,7 +42,6 @@ z3_add_component(lp
     random_updater.cpp      
     row_eta_matrix.cpp
     scaler.cpp
-    square_dense_submatrix.cpp
     square_sparse_matrix.cpp
     static_matrix.cpp
   COMPONENT_DEPENDENCIES

diff --git a/src/math/lp/square_dense_submatrix.cpp b/src/math/lp/square_dense_submatrix.cpp
diff --git a/src/math/lp/square_dense_submatrix.h b/src/math/lp/square_dense_submatrix.h