Scyther User Manual Cas Cremers Draft February 18, 2014 2 Contents 1 Introduction 5 2 Background 7 3 Installation 9 4 Quick start tutorial 11 5 Input Language 15 5.1 A minimal…
