diff options
Diffstat (limited to 'sci-mathematics/kind2/metadata.xml')
-rw-r--r-- | sci-mathematics/kind2/metadata.xml | 28 |
1 files changed, 28 insertions, 0 deletions
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> |