1 2 3 4 5 6 7
z3_add_component(realclosure SOURCES mpz_matrix.cpp realclosure.cpp COMPONENT_DEPENDENCIES interval )