ClauseExchangeSettings

struct ClauseExchangeSettings

Public Members

std::uint32_t max_size = 8

longest clause exported

std::uint32_t import_interval = 256

conflicts between import polls

std::uint32_t import_budget = 0

Clauses of two or more literals one poll imports at most (units are never limited); 0: no budget but the backend’s own cap.