#include <symengine/symengine_config.h>
#if SYMENGINE_MAJOR_VERSION != 0 || SYMENGINE_MINOR_VERSION != 13 || SYMENGINE_PATCH_VERSION != 0
#error "scctools requires SymEngine 0.13.0"
#endif