Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

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

There are no pull requests

You think something is missing here?
Start with filling a new pull requests.

If you also like to help the Gentoo project, you can consider sending a Pull Request via GitHub.
Before doing so, you might want to take a look at the wiki page.