sci-mathematics/
psmt2-frontend

Library to parse and type-check an extension of the SMT-LIB 2 standard

https://github.com/OCamlPro-Coquera/psmt2-frontend

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
0.2 : 0 amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?sparc

Package Metadata

Changelog