From 963e79dcc85b2d1ff6167b5558b885d19cb0a6ad Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Sat, 21 Jul 2018 19:09:35 +0100
Subject: gentoo resync : 21.07.2018

---
 sci-mathematics/cvc4/metadata.xml | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 sci-mathematics/cvc4/metadata.xml

(limited to 'sci-mathematics/cvc4/metadata.xml')

diff --git a/sci-mathematics/cvc4/metadata.xml b/sci-mathematics/cvc4/metadata.xml
new file mode 100644
index 000000000000..d1a299673f89
--- /dev/null
+++ b/sci-mathematics/cvc4/metadata.xml
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="person">
+		<email>tupone@gentoo.org</email>
+		<name>Tupone Alfredo</name>
+	</maintainer>
+	<use>
+		<flag name="cln">Use sci-libs/cln</flag>
+	</use>
+	<longdescription lang="en">
+		CVC4 is an efficient open-source automatic theorem prover for
+		satisfiability modulo theories (SMT) problems. It can be used to prove
+		the validity (or, dually, the satisfiability) of first-order formulas
+		in a large number of built-in logical theories and their combination.
+	</longdescription>
+</pkgmetadata>
-- 
cgit v1.2.3