Constant max_num_lit [src]

Maximum number of literals.