Support constraints for output variables
fushar opened this issue · 0 comments
fushar commented
Similar to Constraints() method for input variables:
void OutputConstraints() {
}
To support more than one OutputFormatX(), we can also have OutputConstraintsX(). E.g., OutputConstraints2() will be checked if the output matches OutputFormat2().