Module checkpoint

Advanced constraints knowledge check

Answer every question from your current understanding. After submission, compare your reasoning with the explanation and revisit any weak concept.

This check covers Advanced constraints. Read it first if you have not.

5 QuestionsOne Answer eachImmediate ScoreDetailed Explanations
Read→Reason→Select→Review
Question 1 of 5In len dist { [2:7] :/ 30 }, what weight does each value receive?
Question 2 of 5What does A -> B require when A is false?
Question 3 of 5What does solve kind before len change?
Question 4 of 5When does a soft constraint give way?
Question 5 of 5Why write payload.sum() with (int'(item)) in a constraint?

Review every selection before submitting. You can retry after reading the explanations.