dev-ada/AdaSAT – Gentoo Packages

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

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