This repository contains an Alloy model of a DCR graph, along with its encoding to CASL