1 /********************* */
2 /*! \file sat_solver_factory.h
4 ** Top contributors (to current version):
5 ** Mathias Preiner, Liana Hadarean, Morgan Deters
6 ** This file is part of the CVC4 project.
7 ** Copyright (c) 2009-2019 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
14 ** SAT Solver creation facility
17 #include "cvc4_private.h"
19 #ifndef CVC4__PROP__SAT_SOLVER_FACTORY_H
20 #define CVC4__PROP__SAT_SOLVER_FACTORY_H
25 #include "context/context.h"
26 #include "prop/sat_solver.h"
27 #include "util/statistics_registry.h"
32 class SatSolverFactory
35 static BVSatSolverInterface
* createMinisat(context::Context
* mainSatContext
,
36 StatisticsRegistry
* registry
,
37 const std::string
& name
= "");
39 static DPLLSatSolverInterface
* createDPLLMinisat(
40 StatisticsRegistry
* registry
);
42 static SatSolver
* createCryptoMinisat(StatisticsRegistry
* registry
,
43 const std::string
& name
= "");
45 static SatSolver
* createCadical(StatisticsRegistry
* registry
,
46 const std::string
& name
= "");
48 static SatSolver
* createKissat(StatisticsRegistry
* registry
,
49 const std::string
& name
= "");
50 }; /* class SatSolverFactory */
55 #endif // CVC4__PROP__SAT_SOLVER_FACTORY_H