Package Details: ocaml-psmt2-frontend 0.2-2

Git Clone URL: https://aur.archlinux.org/ocaml-psmt2-frontend.git (read-only, click to copy)
Package Base: ocaml-psmt2-frontend
Description: A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
Upstream URL: https://github.com/Coquera/psmt2-frontend
Licenses: Apache2
Submitter: Alad
Maintainer: None
Last Packager: Alad
Votes: 0
Popularity: 0.000000
First Submitted: 2019-11-30 18:18
Last Updated: 2019-11-30 18:52

Dependencies (3)

Required by (1)

Sources (1)