From 5043a584ce7a3eb644e68694a3266c1a5d2ccba5 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Sat, 3 Jun 2023 21:32:31 +0100
Subject: gentoo auto-resync : 03:06:2023 - 21:32:31

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

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

diff --git a/sci-mathematics/kind2/metadata.xml b/sci-mathematics/kind2/metadata.xml
new file mode 100644
index 000000000000..faf6e30c3a71
--- /dev/null
+++ b/sci-mathematics/kind2/metadata.xml
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+  <maintainer type="project">
+    <email>ml@gentoo.org</email>
+    <name>ML</name>
+  </maintainer>
+  <maintainer type="project">
+    <email>sci-mathematics@gentoo.org</email>
+    <name>Gentoo Mathematics Project</name>
+  </maintainer>
+  <longdescription>
+    Kind 2 is an open-source, multi-engine, SMT-based automatic model checker
+    for safety properties of finite-state or infinite-state synchronous
+    reactive systems expressed as in an extension of the Lustre language. In
+    its basic configuration it takes as input one or more Lustre files
+    annotated with properties to be proven invariant, and outputs for each
+    property either a confirmation or a counterexample, i.e., a sequence inputs
+    that falsifies the property. More advanced features include contract-based
+    compositional verification, proof generation for proven properties, and
+    contract-based test generation.
+  </longdescription>
+  <upstream>
+    <bugs-to>https://github.com/kind2-mc/kind2/issues/</bugs-to>
+    <remote-id type="github">kind2-mc/kind2</remote-id>
+  </upstream>
+</pkgmetadata>
-- 
cgit v1.2.3