GitHub repository: kframework/kore
Primary language: Haskell
Created: 2017-01-11T06:07:31Z
Description: The symbolic execution engine powering the K Framework