1 2 3 4 5 6 7 8
z3_add_component(simplex SOURCES simplex.cpp model_based_opt.cpp bit_matrix.cpp COMPONENT_DEPENDENCIES util )