diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-05-30 00:53:38 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-05-30 00:53:38 +0000 |
| commit | 9fe90d7380dfc690683417267f7c1c8567c72494 (patch) | |
| tree | 003d5d6a8bec26232d6284233f1054ef8c9bc671 /sci-mathematics/spass/metadata.xml | |
| parent | Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration. (diff) | |
| download | gentoo-2-9fe90d7380dfc690683417267f7c1c8567c72494.tar.gz gentoo-2-9fe90d7380dfc690683417267f7c1c8567c72494.tar.bz2 gentoo-2-9fe90d7380dfc690683417267f7c1c8567c72494.zip | |
Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer integration.
(Portage version: 2.1.10.63/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/spass/metadata.xml')
| -rw-r--r-- | sci-mathematics/spass/metadata.xml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/sci-mathematics/spass/metadata.xml b/sci-mathematics/spass/metadata.xml new file mode 100644 index 000000000000..c4c803fffe24 --- /dev/null +++ b/sci-mathematics/spass/metadata.xml @@ -0,0 +1,15 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> +<maintainer> + <email>gienah@gentoo.org></email> +</maintainer> +<herd>sci-mathematics</herd> +<longdescription lang='en'> +SPASS: An Automated Theorem Prover for First-Order Logic with Equality. +</longdescription> +<use> + <flag name='isabelle'>Add integration support for the Isabelle/HOL + theorem prover.</flag> +</use> +</pkgmetadata> |