BSD Ports

math/cadical 2.1.3_1 FreeBSD

Simple CDCL satisfiability solver

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

Description

The goal of CaDiCaL is to provide a clean and efficient state-of-the-art CDCL solver, which is also easy to understand and change.

In the other systems

SystemPortVersion
FreeBSDmath/cadical2.1.3_1
OpenBSDmath/cadical3.0.1
NetBSDmath/cadical2.1.3
DragonFlymath/cadical2.0.0

Install

Binary package:

pkg install cadical

From the ports tree:

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

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

RUN_DEPENDS=	cadical>0:math/cadical

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:latest2.1.3_12.1.3_11.5.32.1.32.1.3_1
FreeBSD:14:quarterly2.1.3_12.1.3_1n/a2.1.32.1.3_1
FreeBSD:15:latest2.1.3_12.1.3_1n/a2.1.32.1.3
FreeBSD:15:quarterly2.1.3_12.1.3_1n/an/an/a
FreeBSD:16:latest2.1.3_12.1.3_1n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

The Makefile names none itself; they come from USES and USE_*.

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

Build dependencies 3

Configuration

No options to configure.

USES
compiler:c++0x gmake tar:xz
Service scripts
none

Files

distinfo 1
FileSizeSHA256
arminbiere-cadical-rel-2.1.3_GH0.tar.gz731545abfe890aa4ccda7b8449c7ad41acb113cfb8e7e8fbf5e49369075f9b00d70465

Commit history 0

No commits in the history this site was built from.