diff options
Diffstat (limited to 'sci-mathematics/cvc3/metadata.xml')
| -rw-r--r-- | sci-mathematics/cvc3/metadata.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/cvc3/metadata.xml b/sci-mathematics/cvc3/metadata.xml index fd176a8c8c63..2f5473a5364f 100644 --- a/sci-mathematics/cvc3/metadata.xml +++ b/sci-mathematics/cvc3/metadata.xml @@ -6,7 +6,7 @@ <name>Mark Wright</name> </maintainer> <herd>sci-mathematics</herd> -<longdescription lang='en'> +<longdescription lang="en"> CVC3 is an 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 @@ -32,9 +32,9 @@ and has a wide variety of features including: purposes (see license). </longdescription> <use> - <flag name='isabelle'>Add integration support for the Isabelle/HOL + <flag name="isabelle">Add integration support for the Isabelle/HOL theorem prover.</flag> - <flag name='zchaff'>Use the SAT solver zchaff whose copyright is + <flag name="zchaff">Use the SAT solver zchaff whose copyright is owned by Princeton University and is more restrictive (see zchaff license). </flag> |