libTriton version 1.0 build 1592
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
58
60 };
62 };
64};
65
66#endif /* TRITON_SOLVERENUMS_HPP */
The Triton namespace.