Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models' | IEEE Conference Publication | IEEE Xplore