| Port details |
- py-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:54
- Last Update: 2023-01-11 15:58:34
- Commit Hash: 77d6847
- Also Listed In: python
- 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 - There is no configure plist information for this port.
- Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}clingcon>0:math/py-clingcon@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-clingcon/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-clingcon
- pkg install py39-clingcon
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
NOTE: This is a Python port. Instead of py39-clingcon listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py39-clingcon
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1663127500
SHA256 (clingcon-5.2.0.tar.gz) = 395b929068c767cf483994cced0b7cb02bb6c2279501c2aeb88d7145b487accf
SIZE (clingcon-5.2.0.tar.gz) = 290120
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
- py39-cffi>0 : devel/py-cffi@py39
- py39-scikit-build>0 : devel/py-scikit-build@py39
- py39-clingo>0 : math/py-clingo@py39
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- Test dependencies:
-
- python3.9 : lang/python39
- Runtime dependencies:
-
- py39-clingo>0 : math/py-clingo@py39
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- math_py-clingcon
- USES:
- compiler:c++17-lang python:3.6+
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Notes from UPDATING |
- These upgrade notes are taken from /usr/ports/UPDATING
- 2017-11-30
Affects: */py* Author: mat@FreeBSD.org Reason:
Ports using Python via USES=python are now flavored. All the py3-* ports
have been removed and folded into their py-* master ports.
People using Poudriere 3.2+ and binary packages do not have to do anything.
For other people, to build the Python 3.6 version of, for example,
databases/py-gdbm, you need to run:
# make FLAVOR=py36 install
|
Number of commits found: 3
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
5.2.0
11 Jan 2023 15:58:34
 |
Dmitry Marakasov (amdmi3) |
*/*: rename CHEESESHOP to PYPI in MASTER_SITES
PR: 267994
Differential revision: D37518
Approved by: bapt |
5.2.0
14 Sep 2022 05:00:24
|
Yuri Victorovich (yuri) |
math/py-clingcon: Correct cmake dependency |
5.2.0
14 Sep 2022 04:41:15
|
Yuri Victorovich (yuri) |
math/py-clingcon: New port: Extension of clingo to handle constraints over
integers |
Number of commits found: 3
|
As an Amazon Associate I earn from qualifying purchases.