1 /********************* */
2 /*! \file sat_solver_factory.cpp
4 ** Top contributors (to current version):
5 ** Dejan Jovanovic, Tim King, Morgan Deters
6 ** This file is part of the CVC4 project.
7 ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
8 ** in the top-level source directory) and their institutional affiliations.
9 ** All rights reserved. See the file COPYING in the top-level source
10 ** directory for licensing information.\endverbatim
12 ** \brief SAT Solver creation facility.
17 #include "prop/sat_solver_factory.h"
19 #include "prop/minisat/minisat.h"
20 #include "prop/bvminisat/bvminisat.h"
25 BVSatSolverInterface
* SatSolverFactory::createMinisat(context::Context
* mainSatContext
, StatisticsRegistry
* registry
, const std::string
& name
) {
26 return new BVMinisatSatSolver(registry
, mainSatContext
, name
);
29 DPLLSatSolverInterface
* SatSolverFactory::createDPLLMinisat(StatisticsRegistry
* registry
) {
30 return new MinisatSatSolver(registry
);
33 } /* CVC4::prop namespace */
34 } /* CVC4 namespace */