Browsing the source code described in the paper

The main files are located in the sub-directory src/math/realclosure, they contain approximately 7000 lines of C++ code. The main module only depends on the Z3 interval arithmetic package (sub-directory
src/math/interval), and basic data-structures and numeral types such as binary rationals (sub-directory
src/util).