## 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.