libTriton version 1.0 build 1588
Loading...
Searching...
No Matches
solverEnums.hpp
Go to the documentation of this file.
1
2/*
3** Copyright (C) - Triton
4**
5** This program is under the terms of the Apache License 2.0.
6*/
7
8#ifndef TRITON_SOLVERENUMS_HPP
9#define TRITON_SOLVERENUMS_HPP
10
11#include <triton/config.hpp>
12
13
14
16namespace triton {
23 namespace engines {
31 namespace solver {
39 enum solver_e {
42 #ifdef TRITON_Z3_INTERFACE
44 #endif
45 #ifdef TRITON_BITWUZLA_INTERFACE
47 #endif
48 };
49
51 enum status_e {
52 UNSAT = 0,
53 SAT = 1,
56 UNKNOWN
57 };
58
60 };
62 };
64};
65
66#endif /* TRITON_SOLVERENUMS_HPP */
The Triton namespace.