src/solver_interface.h

   1 /*      Copyright (c) 2015 Regents of the University of California
   2  *
   3  *      Author: Brian Demsky <bdemsky@uci.edu>
   4  *
   5  *      This program is free software; you can redistribute it and/or
   6  *      modify it under the terms of the GNU General Public License
   7  *      version 2 as published by the Free Software Foundation.
   8  */
   9
  10 #ifndef SOLVER_INTERFACE_H
  11 #define SOLVER_INTERFACE_H
  12
  13 #define IS_OUT_FD 3
  14
  15 #define IS_UNSAT 0
  16 #define IS_SAT 1
  17 #define IS_INDETER 2
  18 #define IS_FREEZE 3
  19 #define IS_RUNSOLVER 4
  20
  21 #define IS_BUFFERSIZE 1024
  22
  23 #endif