feat: cleanup old code
feat: add IBEX
fixup cmakelists
feat(util/interval): add interval
feat(util/var): add variable
feat(util/box): add box
feat(util/contractor): add contractor
feat(util): add files to CMakeLists.txt
feat(dsolver/nra_solver): checkpoint