Gentoo Packages

dev-ada/AdaSAT (gentoo)

Search

Install

Install this package:

emerge -a dev-ada/AdaSAT

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

autounmask dev-ada/AdaSAT

Or alternatively:

emerge --autounmask-write -a dev-ada/AdaSAT

Package Information

Description:
Implementation of a DPLL-based SAT solver in Ada. Main features: Conflict analysis and backjumping Two-watched literals scheme Built-in support for At-Most-One constraints Custom theories
Homepage:
https://github.com/AdaCore/AdaSAT
License:
Apache-2.0

Versions

Version EAPI Keywords Slot
25.0.0 8 amd64 ~arm64 x86 0

Metadata

Description

Maintainers

Upstream

Raw Metadata XML 
<pkgmetadata>
	<maintainer type="project">
		<email>ada@gentoo.org</email>
	</maintainer>
	<longdescription lang="en">
		Implementation of a DPLL-based SAT solver in Ada. Main features:

			Conflict analysis and backjumping
			Two-watched literals scheme
			Built-in support for At-Most-One constraints
			Custom theories
	</longdescription>
	<use>
		<flag name="shared">Build shared library</flag>
		<flag name="static-pic">Build static library with pic code</flag>
	</use>
	<upstream>
		<remote-id type="github">AdaCore/AdaSAT</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

USE Flags

Manage flags for this package: euse -i <flag> -p dev-ada/AdaSAT | euse -E <flag> -p dev-ada/AdaSAT | euse -D <flag> -p dev-ada/AdaSAT

Flag Description 25.0.0
shared Build shared library ⊕
static-libs Build static versions of dynamic libraries as well ✓
static-pic Build static library with pic code ✓
test Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently) ✓

Manifest

Type File Size Versions
DIST AdaSAT-25.0.0.tar.gz 30707 bytes 25.0.0
Unmatched Entries
Type File Size