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

sci-mathematics/
smtinterpol

Interpolating SMT-solver computing Craig interpolants for various theories

https://ultimate.informatik.uni-freiburg.de/smtinterpol/

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.