solverEnums.hpp

Go to the documentation of this file.

 
/*
**  Copyright (C) - Triton
**
**  This program is under the terms of the Apache License 2.0.
*/
 
#ifndef TRITON_SOLVERENUMS_HPP
#define TRITON_SOLVERENUMS_HPP
 
#include <triton/config.hpp>
 
 
 
namespace triton {
  namespace engines {
    namespace solver {
      enum solver_e {
        SOLVER_INVALID = 0, 
        SOLVER_CUSTOM,      
        #ifdef TRITON_Z3_INTERFACE
        SOLVER_Z3,          
        #endif
        #ifdef TRITON_BITWUZLA_INTERFACE
        SOLVER_BITWUZLA,    
        #endif
      };
 
      enum status_e {
        UNSAT = 0, 
        SAT = 1,   
        TIMEOUT,   
        OUTOFMEM,  
        UNKNOWN    
      };
 
    };
  };
};
 
#endif /* TRITON_SOLVERENUMS_HPP */