mfes-atum Automatically exported from code.google.com/p/mfes-atum Old MSc stuff. Turn allocation with Alloy and C#.