Cope and DragDiagramming by spatial refinement

A language for describing diagrams by how their parts relate in space — built on Sterling, powered by SpyTial.

Constraints, separate from directives

Spatial constraints describe where atoms go. Visual directives describe how they look. The two compose independently.

CnD reads solver output and lets you specify layouts declaratively over sigs, atoms, and fields — no pixel coordinates.

The constraint and directive vocabulary is drawn from cognitive-science principles and corpus studies on spatial reasoning in diagrams.

A fork of the Sterling visualizer for Alloy and Forge, with CnD replacing DAGRE as the layout engine.