Formal Methods Playground Alloy Dataset

Dataset containing Alloy models edited and analyzed on the Formal Methods Playground at https://play.formal-methods.net/.

Each entry of the dataset contains:

id: the unique identifier of the entry

parent: the parent of the entry

code:  the complete code of the model

permalink: the permalink to the model in the Formal Methods Playground.

can be accessed by appending to the URL:  https://play.formal-methods.net/?check=ALS&p=

time: the timestamp of the entry

cmd: the index of the command (starting from 1)