git: fdc7dac765ee - main - math/cadiback: New port: CaDiBack BackBone Extractor

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=fdc7dac765eeff893a9295f7f502d2341a5e7b02

commit fdc7dac765eeff893a9295f7f502d2341a5e7b02
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-10-10 01:10:09 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-10-10 01:34:04 +0000

    math/cadiback: New port: CaDiBack BackBone Extractor
---
 math/Makefile           |  1 +
 math/cadiback/Makefile  | 51 +++++++++++++++++++++++++++++++++++++++++++++++++
 math/cadiback/distinfo  |  5 +++++
 math/cadiback/pkg-descr |  3 +++
 4 files changed, 60 insertions(+)

diff --git a/math/Makefile b/math/Makefile
index 634924e8efdb..7d043548bb6a 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -208,6 +208,7 @@
     SUBDIR += bsdnt
     SUBDIR += btor2tools
     SUBDIR += cadabra2
+    SUBDIR += cadiback
     SUBDIR += cadical
     SUBDIR += cado-nfs
     SUBDIR += calc
diff --git a/math/cadiback/Makefile b/math/cadiback/Makefile
new file mode 100644
index 000000000000..f7bbd9db5d7d
--- /dev/null
+++ b/math/cadiback/Makefile
@@ -0,0 +1,51 @@
+PORTNAME=	cadiback
+DISTVERSION=	g20240729
+CATEGORIES=	math devel
+
+MAINTAINER=	yuri@FreeBSD.org
+COMMENT=	CaDiBack BackBone Extractor
+WWW=		https://github.com/arminbiere/cadiback
+
+LICENSE=	MIT
+LICENSE_FILE=	${WRKSRC}/LICENSE
+
+BUILD_DEPENDS=	${NONEXISTENT}:math/cadical:patch
+LIB_DEPENDS=	libcadical.so:math/cadical
+
+USES=		compiler:c++0x gmake localbase:ldflags tar:xz
+
+USE_GITHUB=	yes
+GH_ACCOUNT=	arminbiere
+GH_TAGNAME=	789329d
+
+MAKEFILE=	makefile
+
+TEST_TARGET=	test
+
+PLIST_FILES=	bin/${PORTNAME}
+
+do-build:
+	cd ${WRKSRC} && \
+		( \
+			${ECHO} "#define VERSION \"`cat VERSION`\""; \
+			${ECHO} "#define GITID \"${GH_TAGNAME}\""; \
+			${ECHO} "#define BUILD \"${CXX} -W\""; \
+		) > config.hpp && \
+		${CXX} \
+			-DNDEBUG \
+			${CXXFLAGS} ${LDFLAGS} \
+			-I ${WRKSRC_cadical}/src \
+			cadiback.cpp \
+			-I `${MAKE} -V WRKSRC -C ${PORTSDIR}/math/cadical`/src \
+			-l cadical \
+			-o ${PORTNAME}
+#			-I ${WRKSRC_cadical}/src \
+
+do-install:
+	${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
+
+do-test:
+	@cd ${WRKSRC}/test && \
+		./run.sh
+
+.include <bsd.port.mk>
diff --git a/math/cadiback/distinfo b/math/cadiback/distinfo
new file mode 100644
index 000000000000..2833145d5186
--- /dev/null
+++ b/math/cadiback/distinfo
@@ -0,0 +1,5 @@
+TIMESTAMP = 1728496631
+SHA256 (arminbiere-cadiback-g20240729-789329d_GH0.tar.gz) = 528eaa26321023943e307a76dd3c1bd1257ffb94174023260226f1158766c3b1
+SIZE (arminbiere-cadiback-g20240729-789329d_GH0.tar.gz) = 19890
+SHA256 (arminbiere-cadical-rel-2.0.0_GH0.tar.gz) = 9afe5f6439442d854e56fc1fac3244ce241dbb490735939def8fd03584f89331
+SIZE (arminbiere-cadical-rel-2.0.0_GH0.tar.gz) = 709136
diff --git a/math/cadiback/pkg-descr b/math/cadiback/pkg-descr
new file mode 100644
index 000000000000..fea694937e1a
--- /dev/null
+++ b/math/cadiback/pkg-descr
@@ -0,0 +1,3 @@
+CaDiBack is a tool using the CaDiCaL solver to determine the backbone of a
+satisfiable instance, which are those literals set to true in all models of
+the formula.