gentoo.mahdi.cz
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
psmt2-frontend-0.4.0
Apache-2.0
download
amd64 ~x86
gentoo