Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/alt-ergo

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask sci-mathematics/alt-ergo

Or alternatively:

emerge --autounmask-write -a sci-mathematics/alt-ergo

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/

License:

CeCILL-C

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] USE flag 'examples' in ebuild 2.4.3-r3 is not documented in metadata.xml
• [Warning] USE flag 'gui' in ebuild 2.4.3-r3 is not documented in metadata.xml
• [Warning] USE flag 'ocamlopt' in ebuild 2.4.3-r3 is not documented in metadata.xml
• [Error] Missing md5-cache for ebuild alt-ergo-2.4.3-r3

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/alt-ergo | euse -E <flag> -p sci-mathematics/alt-ergo | euse -D <flag> -p sci-mathematics/alt-ergo

Files

• alt-ergo-2.4.3-dune.patch

Manifest