specialization-examples
specialization-examples copied to clipboard
Added comments for easier reading (erroneously added value symmetry breaking, which is actually found in the table_seating_imp.mzn file)
Added some comments and a desymmetrizer (the latter however causes a different solution to be found)