add_subdirectory(dd)
add_subdirectory(ff)
add_subdirectory(grobner)
add_subdirectory(hilbert)
add_subdirectory(interval)
add_subdirectory(lp)
add_subdirectory(polynomial)
add_subdirectory(realclosure)
add_subdirectory(simplex)
add_subdirectory(subpaving)
