#ifndef SOLVER_INTERFACE_H
#define SOLVER_INTERFACE_H

#define IS_OUT_FD 3

#define IS_UNSAT 0
#define IS_SAT 1
#define IS_INDETER 2
#define IS_FREEZE 3
#define IS_RUNSOLVER 4

#define IS_BUFFERSIZE 1024

#endif