BSD Ports

math/cadiback g20240729_1 FreeBSD

CaDiBack BackBone Extractor

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
License
MIT
Categories
math, devel
Package size
25.1 KiB, 54.4 KiB installed

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.

In the other systems

SystemPortVersion
FreeBSDmath/cadibackg20240729_1
DragonFlymath/cadibackg20240729

Install

Binary package:

pkg install cadiback

From the ports tree:

cd /usr/ports/math/cadiback/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	cadiback>0:math/cadiback

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latestg20240729_1g20240729_1-g20240729_1g20240729_1
FreeBSD:14:quarterlyg20240729_1g20240729_1n/ag20240729_1g20240729_1
FreeBSD:15:latestg20240729_1g20240729_1n/ag20240729_1g20240729_1
FreeBSD:15:quarterlyg20240729_1g20240729_1n/an/an/a
FreeBSD:16:latestg20240729_1g20240729_1n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Build 1

Library 1

The full lists below include those, and their dependencies in turn.

Build dependencies 4
Run dependencies 1

No port depends on this one.

Configuration

No options to configure.

USES
gmake localbase:ldflags
Service scripts
none

Files

distinfo 2
FileSizeSHA256
arminbiere-cadiback-g20240729-789329d_GH0.tar.gz19890528eaa26321023943e307a76dd3c1bd1257ffb94174023260226f1158766c3b1
arminbiere-cadical-rel-2.0.0_GH0.tar.gz7091369afe5f6439442d854e56fc1fac3244ce241dbb490735939def8fd03584f89331

Commit history 0

No commits in the history this site was built from.