solver_interface.h

   1 #ifndef SOLVER_INTERFACE_H
   2 #define SOLVER_INTERFACE_H
   3
   4 #define IS_UNSAT 0
   5 #define IS_SAT 1
   6 #define IS_INDETER 2
   7 #define IS_RUNSOLVER 3
   8 #define IS_FREEZE 3
   9
  10 #define BUFFERSIZE 1024
  11
  12 #endif