package psmt2-frontend
A library to parse and type-check a conservative extension of the SMT-LIB 2
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.zip
sha256=1a125274b4b23219efe3e5dcc850a35210d33b51bc5531d3f3112df7f5db3f35
md5=1eb0902c24ca84f5aefae876feb43d6e
Description
standard with prenex polymorphism
Published: 24 Apr 2018
Dependencies (4)
-
menhir
< "20211215"
-
conf-autoconf
build
-
ocamlfind
build
-
ocaml
>= "4.04.0"
Dev Dependencies
None
Used by (2)
-
alt-ergo
= "2.2.0"
-
alt-ergo-free
= "2.2.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page