mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 02:42:02 +00:00
Code Activity

remove stale files from lp

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-07-03 20:57:52 -07:00
parent 7e0a7d73f2
commit e8e786ae64
2 changed files with 3 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/util/lp/CMakeLists.txt
View file

@ -1,6 +1,5 @@
z3_add_component(lp z3_add_component(lp
SOURCES SOURCES
lp_utils.cpp
binary_heap_priority_queue.cpp binary_heap_priority_queue.cpp
binary_heap_upair_queue.cpp binary_heap_upair_queue.cpp
bound_propagator.cpp bound_propagator.cpp
@ -19,15 +18,16 @@ z3_add_component(lp
lp_settings.cpp lp_settings.cpp
lp_solver.cpp lp_solver.cpp
lu.cpp lu.cpp
lp_utils.cpp
matrix.cpp matrix.cpp
nra_solver.cpp nra_solver.cpp
permutation_matrix.cpp permutation_matrix.cpp
random_updater.cpp
row_eta_matrix.cpp row_eta_matrix.cpp
scaler.cpp scaler.cpp
square_sparse_matrix.cpp
square_dense_submatrix.cpp square_dense_submatrix.cpp
square_sparse_matrix.cpp
static_matrix.cpp static_matrix.cpp
random_updater.cpp
COMPONENT_DEPENDENCIES COMPONENT_DEPENDENCIES
util util
polynomial polynomial

13
src/util/lp/lar_solver_instances.cpp
View file

@ -1,13 +0,0 @@
/*
Copyright (c) 2017 Microsoft Corporation
Author: Lev Nachmanson
*/
#include "util/lp/lar_solver.cpp"
template void lp::lar_solver::copy_from_mpq_matrix<double,double>(class lp::static_matrix<double,double> &);