1. This is a readme file for imp-symbolic.

2. Prerequisites: K framework (k-framework.org)

3. Compile the definition
   
   `kompile imp.k`

4. Running programs

4.1 Simple execution
    
    `krun sum.imp`

4.2 Explore all execution paths
    
    `krun --parser "kast -groundParser" programs/sum.imp --search`
