psmt2-frontend
A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism
Description
Install
- Published
-
19 Jan 2019
- Authors
-
- Maintainers
-
Sources
Dependencies
Reverse Dependencies
alt-ergo-parsers
< "2.4.0"