[[["Easy to understand","easyToUnderstand","thumb-up"],["Solved my problem","solvedMyProblem","thumb-up"],["Other","otherUp","thumb-up"]],[["Missing the information I need","missingTheInformationINeed","thumb-down"],["Too complicated / too many steps","tooComplicatedTooManySteps","thumb-down"],["Out of date","outOfDate","thumb-down"],["Samples / code issue","samplesCodeIssue","thumb-down"],["Other","otherDown","thumb-down"]],["Last updated 2024-08-06 UTC."],[[["The `FixedModuloPropagator` enforces the constraint `target == expr % mod` within the CP-SAT solver, where `mod` is a positive integer."],["It propagates bounds on the involved expressions without special case handling."],["The core methods include construction with an expression, modulo, and target, propagation to maintain consistency, and registration with a watcher for triggering updates."]]],[]]
