| Port details |
- clingcon Extension of clingo to handle constraints over integers
- 5.2.0 math
 =0      Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2022-09-14 11:42:51
- Last Update: 2022-09-14 04:41:15
- Commit Hash: c9fc5ee
- License: MIT
- Description:
- Clingcon is an answer set solver for constraint logic programs, building upon
the answer set solver clingo. It extends the high-level modeling language of ASP
with constraint solving capacities. Constraints over finite domain integer
variables can be used in logic programs. Clingcon adopts state-of-the-art
techniques from the area of SMT, like conflict-driven learning and theory
propagation. It uses lazy nogood and variable generation on the order encoding
and features several preprocessing techniques.
  ¦  ¦  ¦  ¦  - pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/clingcon/ && make install clean
- To add the package, run one of these commands:
- pkg install math/clingcon
- pkg install clingcon
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: clingcon
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1663126357
SHA256 (potassco-clingcon-v5.2.0_GH0.tar.gz) = 4b568475066e34be34110f481f7028b466c2b008e9ba41686e24ecbb468a40f2
SIZE (potassco-clingcon-v5.2.0_GH0.tar.gz) = 333420
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:
-
- cmake : devel/cmake-core
- ninja : devel/ninja
- Library dependencies:
-
- libclingo.so : math/clingo
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- math_clingcon
- USES:
- cmake:testing compiler:c++17-lang
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 1
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
5.2.0
14 Sep 2022 04:41:15
 |
Yuri Victorovich (yuri) |
math/clingcon: New port: Extension of clingo to handle constraints over integers |
Number of commits found: 1
|
As an Amazon Associate I earn from qualifying purchases.