008: Vessel Loading

language Essence 1.3

letting deck_width be 16 
letting deck_length be 16
letting n_containers be 10
letting n_classes be 3

letting width      be function ( 1 --> 6, 2 --> 4, 3 --> 4, 4 --> 4, 5 --> 4
                               , 6 --> 4 , 7 --> 4, 8 --> 4, 9 --> 4, 10 --> 4 )
letting length     be function ( 1 --> 8, 2 --> 6, 3 --> 4, 4 --> 4, 5 --> 4
                               , 6 --> 6, 7 --> 8, 8 --> 8, 9 --> 6, 10 --> 6 )
letting class      be function ( 1 --> 1, 2 --> 1, 3 --> 1, 4 --> 2, 5 --> 2
                               , 6 --> 2 , 7 --> 3, 8 --> 3, 9 --> 3, 10 --> 3 )
letting separation be function ( {1,2} --> 0, {1,3} --> 0, {2,3} --> 2 )