This branch introduces testcase quality checks. More concretely, the established constraint/special_case commands now allow an additional parameter frequency that specifies how often the constraint or special case should be satisfied in the given scope. Via these soft constraints you can now enforce for example that only few cases in a given subtask of a graph bases problem are trees or that most of the testcases are "large."
This branch introduces testcase quality checks. More concretely, the established
constraint/special_casecommands now allow an additional parameterfrequencythat specifies how often the constraint or special case should be satisfied in the given scope. Via these soft constraints you can now enforce for example that only few cases in a given subtask of a graph bases problem are trees or that most of the testcases are "large."