Searched refs:WatchedLiteralsSolver (Results 1 – 3 of 3) sorted by relevance
31 class WatchedLiteralsSolver : public Solver {41 WatchedLiteralsSolver() = default;47 explicit WatchedLiteralsSolver(std::int64_t WorkLimit) in WatchedLiteralsSolver() function
346 auto Solver = std::make_unique<WatchedLiteralsSolver>(MaxSATIterations);
409 WatchedLiteralsSolver::solve(llvm::ArrayRef<const Formula *> Vals) { in solve()