1//== SMTConstraintManager.cpp -----------------------------------*- C++ -*--==//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h"
11
12using namespace clang;
13using namespace ento;
14
15std::unique_ptr<ConstraintManager>
16ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
17  return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder());
18}
19