BSD Portsmath/py-clingo 5.7.1_1 FreeBSD
Grounder and solver for logic programs
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
3bece905e8- License
- MIT
- Categories
- math, python
- Package size
- 1288.4 KiB, 5331.2 KiB installed
Description
Answer Set Programming (ASP) offers a simple and powerful modeling language to solve combinatorial problems. With these tools users can concentrate on an actual problem, rather than a smart way of implementing it.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/py-clingo | 5.7.1_1 |
| DragonFly | math/py-clingo | 5.7.1_1 |
Install
Binary package:
pkg install py312-clingoFrom the ports tree:
cd /usr/ports/math/py-clingo/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= py312-clingo>0:math/py-clingoPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 5.7.1_1 | 5.7.1_1 | 5.6.1 | 5.7.1_1 | 5.7.1_1 |
| FreeBSD:14:quarterly | 5.7.1_1 | 5.7.1_1 | n/a | 5.7.1_1 | 5.7.1_1 |
| FreeBSD:15:latest | 5.7.1_1 | 5.7.1_1 | n/a | 5.7.1_1 | 5.7.1_1 |
| FreeBSD:15:quarterly | 5.7.1_1 | 5.7.1_1 | n/a | n/a | n/a |
| FreeBSD:16:latest | 5.7.1_1 | 5.7.1_1 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 3
cmake: devel/cmake-core${PYTHON_PKGNAMEPREFIX}cffi>0: devel/py-cffi${PYTHON_PKGNAMEPREFIX}scikit-build>0: devel/py-scikit-build
Runtime 1
${PYTHON_PKGNAMEPREFIX}cffi>0: devel/py-cffi
The full lists below include those, and their dependencies in turn.
Build dependencies 25
- archivers/liblz4
- archivers/zstd
- devel/cmake-core
- devel/gettext-runtime
- devel/jsoncpp
- devel/libffi
- devel/libunistring
- devel/libuv
- devel/py-cffi
- devel/py-packaging
- devel/py-pycparser
- devel/py-scikit-build
- devel/py-setuptools
- devel/py-wheel
- devel/readline
- dns/libidn2
- lang/python312
- lang/python315
- math/mpdecimal
- ports-mgmt/pkg
- print/indexinfo
- security/rhash
- sysutils/py-distro
- textproc/expat2
- textproc/py-tomli
Run dependencies 9
Required by 1
Configuration
No options to configure.
- USES
- compiler:c++14-lang python
- Service scripts
- none
Files
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| clingo-5.7.1.tar.gz | 1.866665e+06 | 17400a1894da46b2d4941a4a85012c98fa8b3c67a5c6b4c73dcd8c8facbc059f |
Master sites 1
- PYPI