#define BTOR_CC "@CMAKE_CXX_COMPILER_ID@"
#define BTOR_CXX "@CMAKE_CXX_COMPILER@"
#define BTOR_CFLAGS "@CMAKE_C_FLAGS@"
#define BTOR_OS "@OS@"
#define BTOR_COMPILED "@COMPILED_TIMESTAMP@")
#define BTOR_RELEASED "Fri Mar  6 13:49:55 CET 2015"
#define BTOR_VERSION "@Bollector_VERSION@"
#define BTOR_ID "1dd339d27a93ba49b69aa0808f127005dee6c8fd"

