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/OCamlPro-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/OCamlPro-Coquera/psmt2-frontend
License: ASL 2.0
Maintainer: kekepower
List of RPMs
- ocaml-psmt2-frontend-0.4.0-2.mga9.src.rpm (Mageia cauldron, x86_64 media, core-release)