Port details on branch 2022Q3 |
- cadical Simple CDCL satisfiability solver
- 1.9.5 math =0 1.9.5Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2019-12-04 05:50:57
- Last Update: 2024-03-06 20:18:05
- Commit Hash: d291ca9
- Also Listed In: devel
- License: MIT
- WWW:
- http://fmv.jku.at/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 - 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 = 1709755914
SHA256 (arminbiere-cadical-rel-1.9.5_GH0.tar.gz) = fb1850e08c578229c8a3a020673fd65ae271c54f0ce660386a0de952bfd7b2b0
SIZE (arminbiere-cadical-rel-1.9.5_GH0.tar.gz) = 691268
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/boolector
- math/cvc5
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:
|