diff options
Diffstat (limited to 'sci-mathematics/alt-ergo/metadata.xml')
| -rw-r--r-- | sci-mathematics/alt-ergo/metadata.xml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml index b844eacad..a28eb2ec7 100644 --- a/sci-mathematics/alt-ergo/metadata.xml +++ b/sci-mathematics/alt-ergo/metadata.xml @@ -6,10 +6,10 @@ <name>Gentoo Mathematics Project</name> </maintainer> <longdescription> - Alt-Ergo is an open source automatic theorem prover dedicated to program verification. - It is an SMT solver based on CC(X): a congruence closure algorithm parameterized by an - equational theory X. Alt-Ergo is based on a home-made SAT-solver and implements an - instantiation mechanism for quantified formulas. Its architecture is summarized by the - the following picture. +Alt-Ergo is an open source automatic theorem prover dedicated to program verification. +It is an SMT solver based on CC(X): a congruence closure algorithm parameterized by an +equational theory X. Alt-Ergo is based on a home-made SAT-solver and implements an +instantiation mechanism for quantified formulas. Its architecture is summarized by the +the following picture. </longdescription> </pkgmetadata> |