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