#Cope and Drag spec

Cope and Drag for Alloy

SiddharthaPrasad

Pairs the Alloy Analyzer with the Cope and Drag visualizer in a VS Code webview.