Skip to content

Instantly share code, notes, and snippets.

@mlabonne

mlabonne/constraints.py

Created April 30, 2022 14:25
Show Gist options
  • Save mlabonne/a35ac10ed2946b6bf57b89db1cf5b1b1 to your computer and use it in GitHub Desktop.
Save mlabonne/a35ac10ed2946b6bf57b89db1cf5b1b1 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
constraints.py
# 2. Constraints
# variable % mod = target → (target, variable, mod)
model.AddModuloEquality(0, army, 13)
model.AddModuloEquality(0, army, 19)
model.AddModuloEquality(0, army, 37)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment