package psmt2-frontend
A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism
Install
Authors
Maintainers
Sources
0.2.zip
md5=1b440803b737be2a6a8b979e55ef0b60
Description
Published: 19 Jan 2019
Dependencies (4)
-
menhir
< "20211215"
-
conf-autoconf
build
-
ocamlfind
build
-
ocaml
>= "4.04.0"
Dev Dependencies
Used by (2)
-
alt-ergo-parsers
< "2.4.0"
- alt-ergo-parsers-free
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page