Bug#1009116: ITP: pstm2-frontend -- Parse and type-check SMT-LIB 2
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
* Package name : pstm2-frontend
Version : 0.4.0
Upstream Author : Albin Coquereau
* URL : https://github.com/ACoquereau/psmt2-frontend
* License : Apache-2
Programming Lang: OCaml
Description : Parse and type-check SMT-LIB 2
A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism.
This is a new dep of the alt-ergo package in the OCaml team ; so I want to
package it and maintain it in the team to update alt-ergo.
Cheers,
J.Puydt
Reply to: