diff options
author | Jeffrey Lin <jeffrey@icurse.nl> | 2019-01-03 22:56:34 -0500 |
---|---|---|
committer | Joonas Niilola <juippis@gentoo.org> | 2019-10-21 17:32:09 +0300 |
commit | 4146e80b7fd150a9c810bcf9544ac3091c582c2b (patch) | |
tree | 40b916b11cacd0e7580940e2f197b3542be9ecf8 /dev-libs/stp/metadata.xml | |
parent | sci-mathematics/minisat: fix sed in header files (diff) | |
download | gentoo-4146e80b7fd150a9c810bcf9544ac3091c582c2b.tar.gz gentoo-4146e80b7fd150a9c810bcf9544ac3091c582c2b.tar.bz2 gentoo-4146e80b7fd150a9c810bcf9544ac3091c582c2b.zip |
dev-libs/stp: new package
Closes: https://bugs.gentoo.org/522388
Package-Manager: Portage-2.3.53, Repoman-2.3.12
Signed-off-by: Jeffrey Lin <jeffrey@icurse.nl>
Closes: https://github.com/gentoo/gentoo/pull/10735
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Diffstat (limited to 'dev-libs/stp/metadata.xml')
-rw-r--r-- | dev-libs/stp/metadata.xml | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/dev-libs/stp/metadata.xml b/dev-libs/stp/metadata.xml new file mode 100644 index 000000000000..2b1417586ce7 --- /dev/null +++ b/dev-libs/stp/metadata.xml @@ -0,0 +1,26 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <email>jeffrey@icurse.nl</email> + <name>Jeffrey Lin</name> + </maintainer> + <maintainer type="project"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <longdescription lang="en"> + STP is a constraint solver (or SMT solver) aimed at solving + constraints of bitvectors and arrays. These types of + constraints can be generated by program analysis tools, theorem + provers, automated bug finders, cryptographic attack tools, + intelligent fuzzers, model checkers, and by many other + applications. + </longdescription> + <upstream> + <remote-id type="github">stp/stp</remote-id> + </upstream> + <use> + <flag name="python">Enable building the Python interface</flag> + </use> +</pkgmetadata> |