./math/cadical, SAT Solver (v2)

[ Image CVSweb ] [ Image Homepage ] [ Image RSS ] [ Image Required by ]

Branch: CURRENT, Version: 2.1.3, Package name: cadical-2.1.3, Maintainer: pkgsrc-users

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.

Master sites:

Filesize: 714.399 KB

Version history: (Expand)

CVS history: (Expand)


   2026-08-04 22:29:21 by Thomas Klausner | Files touched by this commit (336) 
Log message:
*: 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.
   2026-07-24 20:37:35 by Thomas Klausner | Files touched by this commit (2) 
Log message:
cadical: mention that this is v2
   2026-07-24 20:36:40 by Thomas Klausner | Files touched by this commit (1) 
Log message:
cadical: bl3.mk: do not accept cadical 3
   2026-07-02 21:15:03 by Alexander Nasonov | Files touched by this commit (1) 
Log message:
Add buildlink3.mk.
   2026-07-01 00:52:48 by Alexander Nasonov | Files touched by this commit (3) 
Log message:
Downgrade a very recently added math/cadical to 2.1.3.

Version 3.0.0 isn't supported by cvc5:
  https://github.com/cvc5/cvc5/issues/12611

Make other changes to help cvc5 find cadical in /usr/pkg:
 - add tracer.hpp
 - move headers to include/cadical
   2026-06-28 18:22:35 by Alexander Nasonov | Files touched by this commit (4) | Package updated
Log message:
Import math/cadical from wip, update to 3.0.0, add TEST_TARGET.

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.