dev-ada/AdaSAT – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
25.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)
[email protected]