Skip to content

Pull requests: MiniZinc/specialization-examples

New pull request New
13 Open 5 Closed
13 Open 5 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Added comments and explainer output.
#19 opened Oct 2, 2021 by dtonhofer Loading…
3
Update 100potions.dzn
#18 opened Oct 2, 2021 by dtonhofer Loading…
Update 100potions.dzn with nicer comments
#17 opened Oct 2, 2021 by dtonhofer Loading…
Added some comments for the symmetry breaking
#16 opened Aug 18, 2021 by dtonhofer Loading…
Added alternative to use the lex2(m) from the library
#15 opened Aug 17, 2021 by dtonhofer Loading…
Added more comments
#14 opened Aug 17, 2021 by dtonhofer Loading…
Added some comments
#13 opened Aug 17, 2021 by dtonhofer Loading…
Add more comments
#12 opened Aug 13, 2021 by dtonhofer Loading…
Added a comment explaining what this is
#11 opened Aug 13, 2021 by dtonhofer Loading…
Comment added and rectangle descriptor numbered
#10 opened Aug 13, 2021 by dtonhofer Loading…
Added comments to show the rectangle index
#9 opened Aug 13, 2021 by dtonhofer Loading…
Added comments for easier reading (erroneously added value symmetry breaking, which is actually found in the table_seating_imp.mzn file)
#7 opened Jul 22, 2021 by dtonhofer Loading…
bandits.mzn adapted to what's in the slides
#6 opened Jul 21, 2021 by dtonhofer Loading…
1
ProTip! no:milestone will show everything without a milestone.