| Port details |
- clingcon Extension of clingo to handle constraints over integers
- 5.2.1 math
 =2      5.2.1Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2022-09-14 11:42:51
- Last Update: 2024-04-21 04:03:39
- Commit Hash: 6f7967f
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- License: MIT
- WWW:
- https://potassco.org/clingcon/
- 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.
  ¦  ¦  ¦  ¦ 
- 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/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 = 1713670379
SHA256 (potassco-clingcon-v5.2.1_GH0.tar.gz) = ff17294757f3f3f2420acd2145fe9cb039b9aaeace428f546fee3896b00ef724
SIZE (potassco-clingcon-v5.2.1_GH0.tar.gz) = 1376527
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: 2
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
5.2.1
21 Apr 2024 04:03:39
 |
Yuri Victorovich (yuri) |
math/{,py-}clingcon: update 5.2.0 → 5.2.1
Reported by: portscout |
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: 2
|
As an Amazon Associate I earn from qualifying purchases.