smt2-parser
Version 0.1.0.1 revision 0 uploaded by liuyuxi.
Package meta
- Synopsis
- A Haskell parser for SMT-LIB version 2.6
- Description
Please see the README on GitHub at https://github.com/crvdgc/smt2-parser#readme
- Author
- crvdgc
- Bug reports
- https://github.com/crvdgc/smt2-parser/issues
- Category
- SMT, Formal Languages, Language
- Copyright
- 2020 crvdgc
- Homepage
- https://github.com/crvdgc/smt2-parser#readme
- Maintainer
- ubikium@gmail.com
- Package URL
- n/a
- Stability
- n/a