summaryrefslogtreecommitdiff
blob: 0892f84cbfc2141169154657dc3a619a588bb175 (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
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">

<pkgmetadata>
  <maintainer type="project">
    <email>ml@gentoo.org</email>
    <name>ML</name>
  </maintainer>
  <maintainer type="project">
    <email>sci-mathematics@gentoo.org</email>
    <name>Gentoo Mathematics Project</name>
  </maintainer>
  <longdescription>
    Alt-Ergo is an open-source automatic solver of mathematical formulas
    designed for program verification. It is based on Satisfiability Modulo
    Theories (SMT). Solvers of this family have made impressive advances
    and became very popular during the last decade. They are now used is
    various domains such as hardware design, software verification and
    formal testing.
  </longdescription>
  <upstream>
    <bugs-to>https://github.com/OCamlPro/alt-ergo/issues/</bugs-to>
    <remote-id type="github">OCamlPro/alt-ergo</remote-id>
  </upstream>
</pkgmetadata>