dev-ada / AdaSAT

Implementation of a DPLL-based SAT solver in Ada

Official package sites : https://github.com/AdaCore/AdaSAT ·

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

v24.0.0 :: 0 :: gentoo

Modified
License
Apache-2.0
Keywords
~amd64 ~x86
USE flags
shared static-libs static-pic test

General

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)

ada_target

gcc_12
Compile with sys-devel/gcc:12
gcc_13
Compile with sys-devel/gcc:13
gnat_2021
Compile with dev-lang/gnat-gpl-2021

dev-ada / gprbuild : Multi-Language Management

dev-ada / langkit : A Python framework to generate language parsers

Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/AdaSAT: keyword 24.0.0 for ~x86
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/AdaSAT: new package, add 24.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>