[gentoo-commits] repo/gentoo:master commit in: dev-ada/AdaSAT/
commit: a2356b5253d53088deedfb4f547e0cc6642a1b10
Author: Sam James gentoo org>
AuthorDate: Mon Mar 10 00:18:29 2025 +
Commit: Sam James gentoo org>
CommitDate: Mon Mar 10 00:18:29 2025 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a2356b52
dev-ada/AdaSAT: Stabilize 25.0.0 amd64, #951064
Signed-off-by: Sam James gentoo.org>
dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
index 6b61d502073e..303850b8ed99 100644
--- a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
+++ b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
@@ -14,7 +14,7 @@
SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="~amd64 ~arm64 x86"
+KEYWORDS="amd64 ~arm64 x86"
IUSE="+shared static-libs static-pic test"
DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
[gentoo-commits] repo/gentoo:master commit in: dev-ada/AdaSAT/
commit: e0244965f1a4e24a818d4741665eecfdaae6c56b
Author: Sam James gentoo org>
AuthorDate: Mon Mar 10 00:15:02 2025 +
Commit: Sam James gentoo org>
CommitDate: Mon Mar 10 00:15:02 2025 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e0244965
dev-ada/AdaSAT: Stabilize 25.0.0 x86, #951064
Signed-off-by: Sam James gentoo.org>
dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
index 0b1aeed92d24..6b61d502073e 100644
--- a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
+++ b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
@@ -14,7 +14,7 @@
SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="~amd64 ~arm64 ~x86"
+KEYWORDS="~amd64 ~arm64 x86"
IUSE="+shared static-libs static-pic test"
DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
[gentoo-commits] repo/gentoo:master commit in: dev-ada/AdaSAT/
commit: 111337ac451e79161f37cc051048042f2dcbcf12
Author: Alfredo Tupone gentoo org>
AuthorDate: Sun Jan 26 18:04:14 2025 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Sun Jan 26 18:04:14 2025 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=111337ac
dev-ada/AdaSAT: fix setup
Signed-off-by: Alfredo Tupone gentoo.org>
dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild | 1 +
1 file changed, 1 insertion(+)
diff --git a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
index 9f1f0f057fda..0b1aeed92d24 100644
--- a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
+++ b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
@@ -36,6 +36,7 @@ python_check_deps() {
pkg_setup() {
use test && python-any-r1_pkg_setup
+ ada_pkg_setup
}
src_compile() {
[gentoo-commits] repo/gentoo:master commit in: dev-ada/AdaSAT/
commit: edd45fc0ad133294dfc67092fa1fcada8d0a4d52
Author: Alfredo Tupone gentoo org>
AuthorDate: Fri Jan 24 20:37:28 2025 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Fri Jan 24 20:37:51 2025 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=edd45fc0
dev-ada/AdaSAT: keyword 25.0.0 for ~arm64
Signed-off-by: Alfredo Tupone gentoo.org>
dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
index 3c7d9c9889b6..9f1f0f057fda 100644
--- a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
+++ b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
@@ -14,7 +14,7 @@
SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="~amd64 ~arm64 ~x86"
IUSE="+shared static-libs static-pic test"
DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
[gentoo-commits] repo/gentoo:master commit in: dev-ada/AdaSAT/
commit: 95b50978e128f04b01a72faca1b5a996930fa0e1
Author: Alfredo Tupone gentoo org>
AuthorDate: Fri Jan 24 19:59:44 2025 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Fri Jan 24 20:01:55 2025 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=95b50978
dev-ada/AdaSAT: add 25.0.0
Signed-off-by: Alfredo Tupone gentoo.org>
dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild | 70 +
dev-ada/AdaSAT/Manifest | 1 +
2 files changed, 71 insertions(+)
diff --git a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
new file mode 100644
index ..3c7d9c9889b6
--- /dev/null
+++ b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
@@ -0,0 +1,70 @@
+# Copyright 2024-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+ADA_COMPAT=( gcc_12 gcc_13 gcc_14 )
+PYTHON_COMPAT=( python3_{10..12} )
+
+inherit ada python-any-r1 multiprocessing
+
+DESCRIPTION="Implementation of a DPLL-based SAT solver in Ada"
+HOMEPAGE="https://github.com/AdaCore/AdaSAT";
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="+shared static-libs static-pic test"
+
+DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
+BDEPEND="test? (
+ $(python_gen_any_dep '
+ dev-ada/e3-testsuite[${PYTHON_USEDEP}]
+ ')
+)"
+
+REQUIRED_USE="${ADA_REQUIRED_USE}
+ || ( shared static-libs static-pic )
+ test? ( static-libs )"
+RESTRICT="!test? ( test )"
+
+python_check_deps() {
+ use test || return 0
+ python_has_version "dev-ada/e3-testsuite[${PYTHON_USEDEP}]"
+}
+
+pkg_setup() {
+ use test && python-any-r1_pkg_setup
+}
+
+src_compile() {
+ build () {
+ gprbuild -P adasat.gpr -p -v -j$(makeopts_jobs) \
+ --relocate-build-tree="." -XLIBRARY_TYPE=$1 \
+ -XBUILD_MODE=dev -cargs:Ada ${ADAFLAGS} || die
+ }
+
+ use shared && build relocatable
+ use static-libs && build static
+ use static-pic && build static-pic
+}
+
+src_install() {
+ build () {
+ gprinstall -P adasat.gpr -p -f -XLIBRARY_TYPE=$1
-XBUILD_MODE=dev -v \
+ --relocate-build-tree="." --prefix="${ED}"/usr
--build-name=$1 \
+ --build-var=LIBRARY_TYPE || die
+ }
+ use shared && build relocatable
+ use static-libs && build static
+ use static-pic && build static-pic
+
+ rm -r "${D}"/usr/share/gpr/manifests || die
+ einstalldocs
+}
+
+src_test() {
+ export ADA_PROJECT_PATH="${S}"
+ ${EPYTHON} testsuite/testsuite.py || die
+}
diff --git a/dev-ada/AdaSAT/Manifest b/dev-ada/AdaSAT/Manifest
index a6fd5abd770a..239e41d6f941 100644
--- a/dev-ada/AdaSAT/Manifest
+++ b/dev-ada/AdaSAT/Manifest
@@ -1 +1,2 @@
DIST AdaSAT-24.0.0.tar.gz 30088 BLAKE2B
6375c84d54dab73e1c56a137ac156d327e13b1e885d7a102ea62f841fb4d70fb0bb612c4f632dc78facff2544276601e59c75680d7d182175a16fb20e7b4731b
SHA512
313310537c5d6a024e6acae4e2d6fba29b4ab6221a0d793cd9af6b7fec16be8ea59551566781eec676c544066f5721a03e61a340e0a45e3f1af51992fda096c6
+DIST AdaSAT-25.0.0.tar.gz 30707 BLAKE2B
7256fa3db93273657d52b7b895e51efa95c102753efbe498d283ef33a6bed067ddf2975e72a357483aa67b5ce7d8073d4a192e9a4741ab204ce159ec0f57b529
SHA512
7781a683c5aef9efa9a6b57e82070184c02d734fcf448aa5aa79d9aaa3b40d181d87d7487d9c204f7dcd584a3d2dc1c9ebc027e82b2532c3418c25a2395fd9af
[gentoo-commits] repo/gentoo:master commit in: dev-ada/AdaSAT/
commit: 3f055ced2737300a472130707e79652601f52cfb
Author: Sam James gentoo org>
AuthorDate: Sun Dec 15 04:28:18 2024 +
Commit: Sam James gentoo org>
CommitDate: Sun Dec 15 04:28:18 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f055ced
dev-ada/AdaSAT: Stabilize 24.0.0-r2 x86, #944314
Signed-off-by: Sam James gentoo.org>
dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
b/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
index bc0b31b1e1c2..2213309ee633 100644
--- a/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
+++ b/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
@@ -14,7 +14,7 @@
SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="amd64 ~x86"
+KEYWORDS="amd64 x86"
IUSE="+shared static-libs static-pic test"
DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
[gentoo-commits] repo/gentoo:master commit in: dev-ada/AdaSAT/
commit: cc41483527a7805c0fa4bc904ffbcdf573352431
Author: Sam James gentoo org>
AuthorDate: Sun Dec 15 04:28:10 2024 +
Commit: Sam James gentoo org>
CommitDate: Sun Dec 15 04:28:10 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cc414835
dev-ada/AdaSAT: Stabilize 24.0.0-r2 amd64, #944314
Signed-off-by: Sam James gentoo.org>
dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
b/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
index 14a6cf4291b9..bc0b31b1e1c2 100644
--- a/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
+++ b/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
@@ -14,7 +14,7 @@
SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 ~x86"
IUSE="+shared static-libs static-pic test"
DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
[gentoo-commits] repo/gentoo:master commit in: dev-ada/AdaSAT/
commit: 3799cc85acfc1452f49b27692050617eb622daa9
Author: Alfredo Tupone gentoo org>
AuthorDate: Fri Dec 13 13:14:26 2024 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Fri Dec 13 13:15:04 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3799cc85
dev-ada/AdaSAT: use python-any-r1 for test
Closes: https://bugs.gentoo.org/946260
Signed-off-by: Alfredo Tupone gentoo.org>
...aSAT-24.0.0-r1.ebuild => AdaSAT-24.0.0-r2.ebuild} | 20 +---
1 file changed, 17 insertions(+), 3 deletions(-)
diff --git a/dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild
b/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
similarity index 77%
rename from dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild
rename to dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
index 669ae61fd48f..14a6cf4291b9 100644
--- a/dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild
+++ b/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
@@ -3,8 +3,9 @@
EAPI=8
ADA_COMPAT=( gcc_12 gcc_13 )
+PYTHON_COMPAT=( python3_{10..12} )
-inherit ada multiprocessing
+inherit ada python-any-r1 multiprocessing
DESCRIPTION="Implementation of a DPLL-based SAT solver in Ada"
HOMEPAGE="https://github.com/AdaCore/AdaSAT";
@@ -17,13 +18,26 @@ KEYWORDS="~amd64 ~x86"
IUSE="+shared static-libs static-pic test"
DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
-BDEPEND="test? ( dev-ada/e3-testsuite )"
+BDEPEND="test? (
+ $(python_gen_any_dep '
+ dev-ada/e3-testsuite[${PYTHON_USEDEP}]
+ ')
+)"
REQUIRED_USE="${ADA_REQUIRED_USE}
|| ( shared static-libs static-pic )
test? ( static-libs )"
RESTRICT="!test? ( test )"
+python_check_deps() {
+ use test || return 0
+ python_has_version "dev-ada/e3-testsuite[${PYTHON_USEDEP}]"
+}
+
+pkg_setup() {
+ use test && python-any-r1_pkg_setup
+}
+
src_compile() {
build () {
gprbuild -P adasat.gpr -p -v -j$(makeopts_jobs) \
@@ -52,5 +66,5 @@ src_install() {
src_test() {
export ADA_PROJECT_PATH="${S}"
- python3 testsuite/testsuite.py || die
+ ${EPYTHON} testsuite/testsuite.py || die
}
[gentoo-commits] repo/gentoo:master commit in: dev-ada/AdaSAT/
commit: 532fcf488cf38e2a5a8e423ca5126a4ae6cc5a2d
Author: Alfredo Tupone gentoo org>
AuthorDate: Thu Dec 12 19:12:49 2024 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Thu Dec 12 19:13:21 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=532fcf48
dev-ada/AdaSAT: add BDEPs
Closes: https://bugs.gentoo.org/946260
Signed-off-by: Alfredo Tupone gentoo.org>
dev-ada/AdaSAT/{AdaSAT-24.0.0.ebuild => AdaSAT-24.0.0-r1.ebuild} | 2 ++
1 file changed, 2 insertions(+)
diff --git a/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
b/dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild
similarity index 97%
rename from dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
rename to dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild
index 9ad1954518c4..669ae61fd48f 100644
--- a/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
+++ b/dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild
@@ -17,6 +17,8 @@ KEYWORDS="~amd64 ~x86"
IUSE="+shared static-libs static-pic test"
DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
+BDEPEND="test? ( dev-ada/e3-testsuite )"
+
REQUIRED_USE="${ADA_REQUIRED_USE}
|| ( shared static-libs static-pic )
test? ( static-libs )"
[gentoo-commits] repo/gentoo:master commit in: dev-ada/AdaSAT/
commit: ef704e9fa3b9aab9585f17a478fc5d3e870e9ff8
Author: Alfredo Tupone gentoo org>
AuthorDate: Fri Mar 15 20:48:41 2024 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Fri Mar 15 20:52:29 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ef704e9f
dev-ada/AdaSAT: keyword 24.0.0 for ~x86
Signed-off-by: Alfredo Tupone gentoo.org>
dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
b/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
index 747f1d798b08..9ad1954518c4 100644
--- a/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
+++ b/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
@@ -13,7 +13,7 @@
SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~x86"
IUSE="+shared static-libs static-pic test"
DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
[gentoo-commits] repo/gentoo:master commit in: dev-ada/AdaSAT/
commit: f4c45c75a40d0a883bc23ee36b276ba913b9a915
Author: Alfredo Tupone gentoo org>
AuthorDate: Fri Mar 15 10:59:23 2024 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Fri Mar 15 11:00:55 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f4c45c75
dev-ada/AdaSAT: new package, add 24.0.0
Signed-off-by: Alfredo Tupone gentoo.org>
dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild | 54 +
dev-ada/AdaSAT/Manifest | 1 +
dev-ada/AdaSAT/metadata.xml | 22 +++
3 files changed, 77 insertions(+)
diff --git a/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
b/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
new file mode 100644
index ..747f1d798b08
--- /dev/null
+++ b/dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
@@ -0,0 +1,54 @@
+# Copyright 2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+ADA_COMPAT=( gcc_12 gcc_13 )
+
+inherit ada multiprocessing
+
+DESCRIPTION="Implementation of a DPLL-based SAT solver in Ada"
+HOMEPAGE="https://github.com/AdaCore/AdaSAT";
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="+shared static-libs static-pic test"
+
+DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
+REQUIRED_USE="${ADA_REQUIRED_USE}
+ || ( shared static-libs static-pic )
+ test? ( static-libs )"
+RESTRICT="!test? ( test )"
+
+src_compile() {
+ build () {
+ gprbuild -P adasat.gpr -p -v -j$(makeopts_jobs) \
+ --relocate-build-tree="." -XLIBRARY_TYPE=$1 \
+ -XBUILD_MODE=dev -cargs:Ada ${ADAFLAGS} || die
+ }
+
+ use shared && build relocatable
+ use static-libs && build static
+ use static-pic && build static-pic
+}
+
+src_install() {
+ build () {
+ gprinstall -P adasat.gpr -p -f -XLIBRARY_TYPE=$1
-XBUILD_MODE=dev -v \
+ --relocate-build-tree="." --prefix="${ED}"/usr
--build-name=$1 \
+ --build-var=LIBRARY_TYPE || die
+ }
+ use shared && build relocatable
+ use static-libs && build static
+ use static-pic && build static-pic
+
+ rm -r "${D}"/usr/share/gpr/manifests || die
+ einstalldocs
+}
+
+src_test() {
+ export ADA_PROJECT_PATH="${S}"
+ python3 testsuite/testsuite.py || die
+}
diff --git a/dev-ada/AdaSAT/Manifest b/dev-ada/AdaSAT/Manifest
new file mode 100644
index ..a6fd5abd770a
--- /dev/null
+++ b/dev-ada/AdaSAT/Manifest
@@ -0,0 +1 @@
+DIST AdaSAT-24.0.0.tar.gz 30088 BLAKE2B
6375c84d54dab73e1c56a137ac156d327e13b1e885d7a102ea62f841fb4d70fb0bb612c4f632dc78facff2544276601e59c75680d7d182175a16fb20e7b4731b
SHA512
313310537c5d6a024e6acae4e2d6fba29b4ab6221a0d793cd9af6b7fec16be8ea59551566781eec676c544066f5721a03e61a340e0a45e3f1af51992fda096c6
diff --git a/dev-ada/AdaSAT/metadata.xml b/dev-ada/AdaSAT/metadata.xml
new file mode 100644
index ..fd081113294e
--- /dev/null
+++ b/dev-ada/AdaSAT/metadata.xml
@@ -0,0 +1,22 @@
+
+https://www.gentoo.org/dtd/metadata.dtd";>
+
+
+ a...@gentoo.org
+
+
+ Build shared library
+ Build static library with pic
code
+
+
+ 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
+
+
+ AdaCore/AdaSAT
+
+
