1 //== SMTConstraintManager.cpp -----------------------------------*- C++ -*--==//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h"
10 
11 using namespace clang;
12 using namespace ento;
13 
14 std::unique_ptr<ConstraintManager>
15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) {
16   return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder());
17 }
18