Copyright | Rogério Pontes 2015 |
---|---|
License | WTFPL |
Maintainer | rogerp62@outlook.com |
Stability | stable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
This module contains all the required individual parsers for each reasponse to a Smtlib command, plus one parser to parse every result, parseCmdResult.