BSD Ports

math/cadical 2.1.3 NetBSD

SAT Solver (v2)

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
Last update
Commit
e282cfb26b
License
mit
Categories
math
Package size
434.8 KiB, 3111.1 KiB installed

Description

The goal of the development of CaDiCaL was to obtain a CDCL solver, which is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.

This package provides the old major version 2.

In the other systems

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

Install

Binary package:

pkgin install cadical

From pkgsrc:

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

Packages

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

RepositoryVersion
NetBSD 10.1 x86_642.1.3
NetBSD 10.1 aarch64-
SmartOS / illumos x86_64-
macOS 15 arm642.1.3

Dependencies

No port depends on this one.

Commit history 4

DateCommitCreditsLog message
e282cfb26b wiz *: add LDFLAGS overide that was previously in mk
This is a workaround and should be fixed properly per-package - they should use the pkgsrc LDFLAGS, but this restores what happened before the mk/ cleanup. Fixes relro build for packages that do not honor LDFLAGS. Package list provided by mef@, thanks! Workaround commit requested by bsiegert on tech-pkg.
3f40fae51d wiz cadical: mention that this is v2
d6d0b36439 wiz cadical: bl3.mk: do not accept cadical 3
73edfc031c alnsn Add buildlink3.mk.