Package : ocaml-psmt2-frontend
Package details
Summary: Parser and typechecker for an extension of SMT-LIB 2
Description:
This package contains a library to parse and typecheck a conservative
extension of the SMT-LIB 2 standard with prenex polymorphism.
URL: https://github.com/Coquera/psmt2-frontend
License: ASL 2.0
Maintainer: kekepower
Description:
This package contains a library to parse and typecheck a conservative
extension of the SMT-LIB 2 standard with prenex polymorphism.
URL: https://github.com/Coquera/psmt2-frontend
License: ASL 2.0
Maintainer: kekepower
List of RPMs
- ocaml-psmt2-frontend-0.1-9.mga8.src.rpm (Mageia 8, aarch64 media, core-release)