% Constrained Seating % Michael Stone % April 3, 2012 Did I just use a [constraint solver][Alloy] to play a musical chairs at work? (Why yes, yes I did... :-) [Alloy]: http://alloy.mit.edu/alloy/