* @brief Configuration file.
*/
-#ifndef CONFIG_H
-#define CONFIG_H
+#ifndef SATC_CONFIG_H
+#define SATC_CONFIG_H
/** Turn on debugging. */
#ifndef CONFIG_DEBUG
#endif
#ifndef CONFIG_ASSERT
-//#define CONFIG_ASSERT
+#define CONFIG_ASSERT
#endif
-//#define VERBOSE_CONSTRAINTS
-
#endif