Gentoo Packages

Search

Package Information

Description:

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.

Homepage:

https://alt-ergo.ocamlpro.com https://github.com/OCamlPro/alt-ergo/

Versions

Metadata

Description

• 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.

Maintainers

• ML (ml@gentoo.org) - Type: project
• Gentoo Mathematics Project (sci-mathematics@gentoo.org) - Type: project

Upstream

• Bugs: https://github.com/OCamlPro/alt-ergo/issues/
• Remote IDs:
  • github: OCamlPro/alt-ergo

<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>

Lint Warnings

• [Warning] Ebuild 2.4.3-r3 uses IUSE flag 'examples' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 2.4.3-r3 uses IUSE flag 'gui' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 2.4.3-r3 uses IUSE flag 'ocamlopt' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Missing md5-cache for version 2.4.3-r3. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

USE Flags

Files

• alt-ergo-2.4.3-dune.patch

Manifest