diff options
Diffstat (limited to 'sci-mathematics/bedwyr/metadata.xml')
| -rw-r--r-- | sci-mathematics/bedwyr/metadata.xml | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/sci-mathematics/bedwyr/metadata.xml b/sci-mathematics/bedwyr/metadata.xml new file mode 100644 index 0000000..096ffd7 --- /dev/null +++ b/sci-mathematics/bedwyr/metadata.xml @@ -0,0 +1,32 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <herd>no-herd</herd> + <maintainer> + <email>quentin.heath@inria.fr</email> + <name>Quentin Heath</name> + <description>Upstream developer</description> + </maintainer> + <longdescription> + Bedwyr is a generalization of logic programming + that allows model checking directly on syntactic expression + possibly containing bindings. + + This system, written in OCaml, is a direct implementation of + two recent advances in the theory of proof search: + a symmetric treatment of finite success and finite failure + (which allows capturing both aspects of may and must behavior + in operational semantics and mixing model checking and logic programming), + and direct support for lambda-tree syntax, as in lambdaProlog, + via term-level lambda-binders, higher-order pattern unification, + and the nabla-quantifier. + </longdescription> + <use> + <flag name="tac">Install <pkg>sci-mathematics/tac</pkg></flag> + <flag name="spec">Install Spec, a fork of Bedwyr</flag> + <flag name="rlwrap">Install support for <pkg>app-misc/rlwrap</pkg></flag> + <flag name="ledit">Install support for <pkg>app-misc/ledit</pkg></flag> + </use> + <upstream>http://slimmer.gforge.inria.fr/bedwyr/</upstream> + <bugs-to>https://gforge.inria.fr/tracker/?group_id=367</bugs-to> +</pkgmetadata> |