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.
Maintainer: kekepower
Description:
This package contains a library to parse and typecheck a conservative
extension of the SMT-LIB 2 standard with prenex polymorphism.
Maintainer: kekepower
List of RPMs
No RPM found for ocaml-psmt2-frontend using the current filters, try other values.