sci-mathematics/stp/metadata.xml


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
27
28
29
30
31
32
33

<?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">
    <email>sci-mathematics@gentoo.org</email>
    <name>Gentoo Mathematics Project</name>
  </maintainer>
  <longdescription>
    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>
    <bugs-to>https://github.com/stp/stp/issues/</bugs-to>
    <remote-id type="github">stp/stp</remote-id>
  </upstream>
  <use>
    <flag name="cryptominisat">
      Enable <pkg>sci-mathematics/cryptominisat</pkg> support
    </flag>
    <flag name="python">
      Enable building the Python interface
    </flag>
  </use>
</pkgmetadata>