./math/cadical3, SAT Solver

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

Branch: CURRENT, Version: 3.0.1, Package name: cadical-3.0.1, 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.

Master sites:

Filesize: 869.055 KB

Version history: (Expand)

CVS history: (Expand)


   2026-07-24 22:27:55 by Thomas Klausner | Files touched by this commit (3) 
Log message:
cadical3: use upstream suggestion for LDFLAGS handling
   2026-07-24 20:38:00 by Thomas Klausner | Files touched by this commit (5) 
Log message:
math/cadical3: import cadical-3.0.1

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.