BSD Portsmath/clingcon 5.2.1 FreeBSD
Extension of clingo to handle constraints over integers
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- MIT
- Categories
- math
- Package size
- 139.7 KiB, 381.8 KiB installed
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.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/clingcon | 5.2.1 |
| DragonFly | math/clingcon | 5.2.1 |
Install
Binary package:
pkg install clingconFrom the ports tree:
cd /usr/ports/math/clingcon/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= clingcon>0:math/clingcon
LIB_DEPENDS= libclingcon.so:math/clingconPackages
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.2.1 | 5.2.1 | 5.2.0 | 5.2.1 | 5.2.1 |
| FreeBSD:14:quarterly | 5.2.1 | 5.2.1 | n/a | 5.2.1 | 5.2.1 |
| FreeBSD:15:latest | 5.2.1 | 5.2.1 | n/a | 5.2.1 | 5.2.1 |
| FreeBSD:15:quarterly | 5.2.1 | 5.2.1 | n/a | n/a | n/a |
| FreeBSD:16:latest | 5.2.1 | 5.2.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.
Library 1
libclingo.so: math/clingo
The full lists below include those, and their dependencies in turn.
Build dependencies 16
Run dependencies 1
No port depends on this one.
Configuration
No options to configure.
- USES
- cmake:testing compiler:c++17-lang
- Service scripts
- none
Files
pkg-plist 7
- bin/clingcon
- include/clingcon.h
- lib/cmake/Clingcon/ClingconConfig.cmake
- lib/cmake/Clingcon/ClingconConfigVersion.cmake
- lib/cmake/Clingcon/ClingconTargets-.cmake
- lib/cmake/Clingcon/ClingconTargets.cmake
- lib/libclingcon.so
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| potassco-clingcon-v5.2.1_GH0.tar.gz | 1.376527e+06 | ff17294757f3f3f2420acd2145fe9cb039b9aaeace428f546fee3896b00ef724 |
Commit history 0
No commits in the history this site was built from.