summaryrefslogtreecommitdiff
blob: 511b06e39e3503c65f4104bae780d2849e19d70f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
	<maintainer type="person" proxied="yes">
		<email>jeffrey@icurse.nl</email>
		<name>Jeffrey Lin</name>
	</maintainer>
	<maintainer type="project" proxied="proxy">
		<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>