You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
753 B
20 lines
753 B
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<maintainer type="person">
|
|
<email>tupone@gentoo.org</email>
|
|
<name>Tupone Alfredo</name>
|
|
</maintainer>
|
|
<longdescription lang="en">
|
|
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>
|
|
<remote-id type="github">OCamlPro/alt-ergo</remote-id>
|
|
</upstream>
|
|
</pkgmetadata>
|