removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / common.h

diff --git a/satPlan2006/include/common.h b/satPlan2006/include/common.h
deleted file mode 100644 (file)
index 7bf215b..0000000
--- a/satPlan2006/include/common.h
+++ /dev/null
@@ -1,46 +0,0 @@
-/*
- * To change this license header, choose License Headers in Project Properties.
- * To change this template file, choose Tools | Templates
- * and open the template in the editor.
- */
-
-/* 
- * File:   common.h
- * Author: hamed
- *
- * Created on June 27, 2018, 8:32 PM
- */
-
-#ifndef COMMON_H
-#define COMMON_H
-
-#define CONFIG_ASSERT
-
-#ifdef __cplusplus
-extern "C" {
-#endif
-
-#define TRUE 1
-#define FALSE 0
-
-#ifdef CONFIG_ASSERT
-#define ASSERT(expr) \
-       do { \
-               if (!(expr)) { \
-                       fprintf(stderr, "Error: assertion failed in %s at line %d\n", __FILE__, __LINE__); \
-                       /* print_trace(); // Trace printing may cause dynamic memory allocation */ \
-                       exit(EXIT_FAILURE);     \
-               }       \
-       } while (0)
-#else
-#define ASSERT(expr) \
-       do { } while (0)
-#endif/* CONFIG_ASSERT */
-
-
-#ifdef __cplusplus
-}
-#endif
-
-#endif /* COMMON_H */
-