| Port details on branch 2025Q3 |
- cadical Simple CDCL satisfiability solver
- 2.1.3 math
 =2      2.1.3Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2019-12-04 05:50:57
- Last Update: 2025-09-26 05:15:49
- Commit Hash: 640abf7
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py311-PyOpenGL, p5-Sane
- Also Listed In: devel
- License: MIT
- WWW:
- https://fmv.jku.at/cadical/
- https://github.com/arminbiere/cadical
- 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.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- To install the port:
- cd /usr/ports/math/cadical/ && make install clean
- To add the package, run one of these commands:
- pkg install math/cadical
- pkg install cadical
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: cadical
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1750305187
SHA256 (arminbiere-cadical-rel-2.1.3_GH0.tar.gz) = abfe890aa4ccda7b8449c7ad41acb113cfb8e7e8fbf5e49369075f9b00d70465
SIZE (arminbiere-cadical-rel-2.1.3_GH0.tar.gz) = 731545
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake>=4.4.1 : devel/gmake
- This port is required by:
- for Build
-
- math/cadiback
- math/lean4
- for Libraries
-
- math/bitwuzla
- math/boolector
- math/cadiback
- math/cvc5
- for Run
-
- math/lean4
Configuration Options:- No options to configure
- Options name:
- math_cadical
- USES:
- compiler:c++0x gmake tar:xz
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
As an Amazon Associate I earn from qualifying purchases.