Applying Cognitive Principles to Model-Finding Output: The Positive Value of Negative Information (artifact)

This is the artifact associated with the OOPSLA 2022 paper titled "Applying Cognitive Principles to Model-Finding Output: The Positive Value of Negative Information". It includes: A README file with in-depth instructions for accessing and using all artifact components. The raw and anonymized data for each participant in the quantitative studies. The raw and anonymized audio transcripts for each participant in the qualitative studies. Working versions of every user interface used in the experiments. An experimental model-finder, which is a modified version of the Alloy model finder, which demonstrates the "2+1-" visualization mode from the paper.