solver/detail/SolverQueueItemDelete.cc
solver/detail/SolverQueueItemUpdate.cc
solver/detail/SolverQueueItemInstallOneOf.cc
-
+ solver/detail/SATResolver.cc
)
SET( zypp_solver_detail_HEADERS
solver/detail/SolverQueueItemDelete.h
solver/detail/SolverQueueItemUpdate.h
solver/detail/SolverQueueItemInstallOneOf.h
-
+ solver/detail/SATResolver.h
)
INSTALL( FILES
sat/WhatProvides.cc
sat/LocaleSupport.cc
sat/LookupAttr.cc
- sat/SATResolver.cc
sat/SolvAttr.cc
)
sat/WhatProvides.h
sat/LocaleSupport.h
sat/LookupAttr.h
- sat/SATResolver.h
sat/SolvAttr.h
)
#include "zypp/base/Iterator.h"
#include "zypp/base/Algorithm.h"
+#include "zypp/solver/detail/SATResolver.h"
+
#include "zypp/ResFilters.h"
#include "zypp/ResStatus.h"
#include "zypp/NameKindProxy.h"
-#include "zypp/sat/SATResolver.h"
#include "zypp/sat/Pool.h"
/////////////////////////////////////////////////////////////////////////
#include "zypp/solver/detail/Resolver.h"
#include "zypp/solver/detail/Helper.h"
#include "zypp/solver/detail/Testcase.h"
+#include "zypp/solver/detail/SATResolver.h"
#include "zypp/Capabilities.h"
#include "zypp/ZConfig.h"
#include "zypp/ResFilters.h"
#include "zypp/sat/Pool.h"
#include "zypp/sat/Solvable.h"
-#include "zypp/sat/SATResolver.h"
#define MAXSOLVERRUNS 5
#include "zypp/solver/detail/Helper.h"
#include "zypp/solver/detail/Resolver.h"
#include "zypp/solver/detail/Testcase.h"
+#include "zypp/solver/detail/SATResolver.h"
#include "zypp/ResolverProblem.h"
#include "zypp/ProblemSolution.h"
#include "zypp/Target.h"
-#include "zypp/sat/SATResolver.h"
-
/////////////////////////////////////////////////////////////////////////
namespace zypp
#include <sstream>
#include "zypp/solver/detail/Resolver.h"
+#include "zypp/solver/detail/SATResolver.h"
#include "zypp/Resolver.h"
#include "zypp/ResolverProblem.h"
-#include "zypp/sat/SATResolver.h"
#include "zypp/base/String.h"
#include "zypp/base/Logger.h"
#include "zypp/ResPool.h"
#include "zypp/ResFilters.h"
#include "zypp/ZConfig.h"
-#include "zypp/sat/SATResolver.h"
#include "zypp/sat/Pool.h"
#include "zypp/sat/WhatProvides.h"
+#include "zypp/solver/detail/SATResolver.h"
#include "zypp/solver/detail/ProblemSolutionCombi.h"
extern "C" {