3 files changed, 45 insertions, 0 deletions
diff --git a/sci-mathematics/verit/Manifest b/sci-mathematics/verit/Manifest
new file mode 100644
index 000000000000..608e61b52166
--- /dev/null
+++ b/sci-mathematics/verit/Manifest
@@ -0,0 +1 @@
+DIST verit-2021.06.2-rmx.tar.gz 683775 BLAKE2B e7488ef11f37c4312dc3bb7809c8f4a134c70e0cb893a9127235e5bd660e3cf88648d5af598f650d25aed02eb864c171479a570b4e47b96ab2bb5f6aba3e6926 SHA512 4dfdbcf12fefaba13f5540a08a520e15666ca3bb923483b86eac708cf23bd5d8441d9a687487ae38f9bbdbc023beedf3e503800e99622cb71fb086329c047a4d
diff --git a/sci-mathematics/verit/metadata.xml b/sci-mathematics/verit/metadata.xml
new file mode 100644
index 000000000000..cd0a6cfe1019
--- /dev/null
+++ b/sci-mathematics/verit/metadata.xml
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+  <maintainer type="person">
+    <email>xgqt@gentoo.org</email>
+    <name>Maciej Barć</name>
+  </maintainer>
+  <longdescription>
+    veriT is a SMT (Satisfiability Modulo Theories) solver. It is open-source,
+    proof-producing, and complete for quantifier-free formulas with
+    uninterpreted functions and linear arithmetic on real numbers and integers.
+    It also offers good support for quantifiers.
+    The input format is the SMT-LIB 2.0 language and DIMACS.
+  </longdescription>
+</pkgmetadata>
diff --git a/sci-mathematics/verit/verit-2021.06.2.ebuild b/sci-mathematics/verit/verit-2021.06.2.ebuild
new file mode 100644
index 000000000000..c81020679201
--- /dev/null
+++ b/sci-mathematics/verit/verit-2021.06.2.ebuild
@@ -0,0 +1,28 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit autotools
+
+DESCRIPTION="An open, trustable and efficient SMT-prover"
+HOMEPAGE="https://verit.loria.fr/"
+SRC_URI="https://verit.loria.fr/download/${PV}/${P}-rmx.tar.gz"
+S="${WORKDIR}/${P}-rmx"
+
+LICENSE="BSD"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+RDEPEND="dev-libs/gmp:="
+DEPEND="${RDEPEND}"
+
+src_install() {
+	emake DESTDIR="${D}" install
+
+	mv example examples || die
+	insinto /usr/share/${PN}
+	doins -r examples
+
+	einstalldocs
+}