solver_interface.h

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