10b57cec5SDimitry Andric //== SMTConstraintManager.cpp -----------------------------------*- C++ -*--==// 20b57cec5SDimitry Andric // 3*349cc55cSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*349cc55cSDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*349cc55cSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric 90b57cec5SDimitry Andric #include "clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h" 100b57cec5SDimitry Andric 110b57cec5SDimitry Andric using namespace clang; 120b57cec5SDimitry Andric using namespace ento; 130b57cec5SDimitry Andric 140b57cec5SDimitry Andric std::unique_ptr<ConstraintManager> CreateZ3ConstraintManager(ProgramStateManager & StMgr,ExprEngine * Eng)155ffd83dbSDimitry Andricento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { 16a7dea167SDimitry Andric return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); 170b57cec5SDimitry Andric } 18