This kind of code has to be done with formal modelling, including when written by humans. alloytools.org looking good to me.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
This kind of code has to be done with formal modelling, including when written by humans. alloytools.org looking good to me.