Alloy Community

User login

  • warning: Parameter 3 to block_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to comment_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to locale_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to node_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to profile_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to system_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to user_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to watchdog_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to messaging_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to notifications_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to og_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to userpoints_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.

Mark.Buckle

Mark.Buckle's picture

Recent Activities

Forum topicSimple stumbling blocks I've encountered whilst building models Mark.Buckle1 year 31 weeks ago
Forum topicModel - with no solutions - hangs when trying to find minisat core Mark.Buckle1 year 33 weeks ago
Forum topicModal logic Mark.Buckle1 year 34 weeks ago
Forum topicAlloy Development Roadmap Mark.Buckle1 year 48 weeks ago
GroupALLOY Beginners Mark.Buckle1 year 50 weeks ago
Sample ModelsKongsberg Mark.Buckle1 year 50 weeks ago
Sample ModelsKnight's Tour Mark.Buckle1 year 50 weeks ago
Sample Modelsn queens Mark.Buckle1 year 50 weeks ago
Sample ModelsClassic Ramsey problem for 6 people Mark.Buckle1 year 50 weeks ago
Sample ModelsMagic Square (3*3) in Alloy Mark.Buckle1 year 50 weeks ago
SoftwareALLOY Syntax file for TextPad Mark.Buckle1 year 50 weeks ago
Sample ModelsPythagorean Triples in Alloy Mark.Buckle1 year 50 weeks ago
Sample ModelsInteger sided triangles in Alloy Mark.Buckle1 year 50 weeks ago

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte