Skip to content

Latest commit

 

History

History
7 lines (4 loc) · 194 Bytes

demos.md

File metadata and controls

7 lines (4 loc) · 194 Bytes

Demos

A narrated introduction and demonstration of SMACK can be seen at https://youtu.be/SPPSC1KdRzs. Note that the demo is somewhat outdated; for example, Duality is no longer supported.