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-5.mga7.src.rpm (Mageia 7, i586 media, core-release)