Searched refs:kDefaultMaxSATIterations (Results 1 – 1 of 1) sorted by relevance
213 inline constexpr std::int64_t kDefaultMaxSATIterations = 1'000'000'000; variable324 std::int64_t MaxSATIterations = kDefaultMaxSATIterations,385 std::int64_t MaxSATIterations = kDefaultMaxSATIterations,