Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/smtinterpol
Interpolating SMT-solver computing Craig interpolants for various theories
Screenshots
https://ultimate.informatik.uni-freiburg.de/smtinterpol/
https://github.com/ultimate-pa/smtinterpol/
smtinterpol-2.5_p20211018-r1
amd64
View
Download
Browse
License: LGPL-3
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
USE Flags