dev-ada/AdaSAT – Gentoo Packages

Version 25.0.0 is available upstream. Please consider updating!
It seems that version 25.0.0 is available upstream, while the latest version in the Gentoo tree is 24.0.0-r2.
You think this warning is false? Read more about it here.

Available Versions

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
24.0.0-r2 : 0 EAPI 8	amd64	x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc

Package Metadata

Upstream
Remote-Id https://github.com/AdaCore/AdaSAT
Full 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
USE flags
Local Use Flags
- +shared
- static-pic
Global Use Flags
- static-libs
- test
ada_target (Use Expand)
License
Apache-2.0
Maintainer(s)
ada@gentoo.org

External Resources

Git repository browser

Git log (short)

Changes Feed