GitHub repository: mmjb/SMTPushdown
Primary language: OCaml
Created: 2015-04-19T17:01:23Z
Description: Parser, validator and translator for SMTLIB-based Pushdown Automata format.