Gentoo Portage Overlays - sci-mathematics/smtinterpol

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/smtinterpol

Interpolating SMT-solver computing Craig interpolants for various theories

Screenshots

smtinterpol-2.5_p20211018-r1

amd64

View

Download

Browse License: LGPL-3

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

smtinterpol-2.5_p20211018-r1

>=virtual/jre-1.8:*
>=dev-java/java-config-2.2.0-r3