Codebase for research on the existential theory of the reals.