Port details
cadiback CaDiBack BackBone Extractor
0.2.1 math Σ g20240729_1Version of this port present on the latest quarterly branch. Maintainer: yuri@FreeBSD.org Port Added: 2024-10-10 01:36:06Last Update: 2026-10-25 05:42:23Commit Hash: 78f9168 Also Listed In: devel License: MITWWW: https://github.com/arminbiere/cadiback Description: # 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. Manual pages: # FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist # USE_RC_SUBR (Service Scripts)
no SUBR information found for this port
Dependency lines :
To install the port : # cd /usr/ports/math/cadiback/ && make install clean To add the package , run one of these commands: pkg install math/cadiback pkg install cadiback PKGNAME: cadiback Flavors: there is no flavor information for this port. # distinfo: # TIMESTAMP = 1792892535
SHA256 (arminbiere-cadiback-rel-0.2.1-789329d_GH0.tar.gz) = 528eaa26321023943e307a76dd3c1bd1257ffb94174023260226f1158766c3b1
SIZE (arminbiere-cadiback-rel-0.2.1-789329d_GH0.tar.gz) = 19890
Packages (timestamps in pop-ups are UTC): #
Dependencies # NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered. Build dependencies: #
nonexistent : math/cadical gmake>=4.4.1 : devel/gmake
Library dependencies: #
libcadical.so : math/cadical
There are no ports dependent upon this port # Configuration Options : # No options to configure Options name : # math_cadiback USES: # gmake localbase:ldflags
FreshPorts was unable to extract/find any pkg message # Master Sites: #
Number of commits found: 4 #
Commit History - (may be incomplete: for full details, see links to repositories near top of page) Commit Credits Log message 0.2.1 Yuri Victorovich (yuri) math/cadiback: update g20240729 → 0.2.1 g20240729_1 Yuri Victorovich (yuri) math/cadical: update 2.0.0 → 2.1.3 g20240729 Yuri Victorovich (yuri) math/cadiback: Simplify Makefile g20240729 Yuri Victorovich (yuri) math/cadiback: New port: CaDiBack BackBone Extractor
Number of commits found: 4
