package psmt2-frontend
The psmt2-frontend project
Install
Dune Dependency
Authors
Maintainers
Sources
0.3.1.tar.gz
sha256=82d3d69d3009b641c34afe4e4c92b7e900ff459884dc9595ac4463297e0da7a1
Description
An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.
Published: 07 Nov 2020
Dev Dependencies (5)
-
ocamlformat
with-test
-
odoc
with-doc
-
ppx_expect
with-test
-
ppx_inline_test
with-test
-
dune
with-test & < "2.8.0"
Used by (2)
-
alt-ergo-parsers
< "2.4.2"
- alt-ergo-parsers-free
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page