//! \file
/*
**  Copyright (C) - Triton
**
**  This program is under the terms of the Apache License 2.0.
*/

#ifndef TRITON_CONFIG_HPP
#define TRITON_CONFIG_HPP

/* #undef TRITON_BITWUZLA_INTERFACE */
/* #undef TRITON_BOOST_INTERFACE */
/* #undef TRITON_LLVM_INTERFACE */
#define TRITON_Z3_INTERFACE

#endif // TRITON_CONFIG_HPP
