sci-mathematics / smtinterpol

Interpolating SMT-solver computing Craig interpolants for various theories

Official package sites : http://ultimate.informatik.uni-freiburg.de/smtinterpol/ · https://github.com/ultimate-pa/smtinterpol/ ·

Versions

v2.5_p20211018 :: 0 :: gentoo

Modified
License
LGPL-3
Keywords
amd64 ~x86

Dependencies

dev-java / ant-core : Java-based build tool similar to 'make' that uses XML configuration files

dev-java / java-config : Java environment configuration query tool

dev-java / javatoolkit : Collection of Gentoo-specific tools for Java

virtual / jdk : Virtual for Java Development Kit (JDK)

Runtime Dependencies

dev-java / java-config : Java environment configuration query tool

virtual / jre : Virtual for Java Runtime Environment (JRE)

Change logs

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/smtinterpol: H -> COMMIT
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/smtinterpol: Stabilize 2.5_p20211018 amd64, #892295
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Conrad Kostecki · gentoo
sci-mathematics/smtinterpol: fix QA BadDescription
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/smtinterpol: new package; add version 2.5_p20211018
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>