add_library(inductive OBJECT inductive.cpp)
