initSolverNamespace.cpp

Go to the documentation of this file.

 
/*
**  Copyright (C) - Triton
**
**  This program is under the terms of the Apache License 2.0.
*/
 
#include <triton/pythonBindings.hpp>
#include <triton/pythonUtils.hpp>
#include <triton/pythonXFunctions.hpp>
#include <triton/solverEnums.hpp>
 
 
 
namespace triton {
  namespace bindings {
    namespace python {
 
      void initSolverNamespace(PyObject* solverDict) {
        PyDict_Clear(solverDict);
 
        #if defined(TRITON_Z3_INTERFACE)
        xPyDict_SetItemString(solverDict, "Z3", PyLong_FromUint32(triton::engines::solver::SOLVER_Z3));
        #endif
        #if defined(TRITON_BITWUZLA_INTERFACE)
        xPyDict_SetItemString(solverDict, "BITWUZLA", PyLong_FromUint32(triton::engines::solver::SOLVER_BITWUZLA));
        #endif
      }
 
    }; /* python namespace */
  }; /* bindings namespace */
}; /* triton namespace */