BSD Portsmath/clingo 5.8.0 FreeBSD
Grounder and solver for logic programs
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- MIT
- Categories
- math
- Package size
- 1252.4 KiB, 5431.5 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/clingo | 5.8.0 |
| DragonFly | math/clingo | 5.7.1 |
Install
Binary package:
pkg install clingoFrom the ports tree:
cd /usr/ports/math/clingo/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= clingo>0:math/clingo
LIB_DEPENDS= libclingo.so:math/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.8.0 | 5.8.0 | 5.6.1 | 5.7.1 | 5.8.0 |
| FreeBSD:14:quarterly | 5.8.0 | 5.8.0 | n/a | 5.7.1 | 5.8.0 |
| FreeBSD:15:latest | 5.8.0 | 5.8.0 | n/a | 5.7.1 | 5.7.1 |
| FreeBSD:15:quarterly | 5.8.0 | 5.8.0 | n/a | n/a | n/a |
| FreeBSD:16:latest | 5.8.0 | 5.8.0 | 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 1
re2c: devel/re2c
The full lists below include those, and their dependencies in turn.
Build dependencies 16
Required by 1
Configuration
No options to configure.
- USES
- cmake:testing compiler:c++14-lang python:test
- Service scripts
- none
- Conflicts with
- clasp
Files
pkg-plist 14
- bin/clasp
- bin/clingo
- bin/gringo
- bin/lpconvert
- bin/reify
- include/clingo.h
- include/clingo.hh
- lib/cmake/Clingo/ClingoConfig.cmake
- lib/cmake/Clingo/ClingoConfigVersion.cmake
- lib/cmake/Clingo/ClingoTargets-.cmake
- lib/cmake/Clingo/ClingoTargets.cmake
- lib/libclingo.so
- lib/libclingo.so.4
- lib/libclingo.so.4.0
distinfo 10
| File | Size | SHA256 |
|---|---|---|
| potassco-clingo-v5.8.0_GH0.tar.gz | 4.496694e+06 | 4ddd5975e79d7a0f8d126039f1b923a371b1a43e0e0687e1537a37d6d6d5cc7c |
| potassco-clasp-e51b9cf_GH0.tar.gz | 698569 | abf774f12041f05b20c1e31409326848c45bdce1513759c74cb4bd0828b013be |
| catchorg-Catch2-914aeec_GH0.tar.gz | 1.197324e+06 | 91c9fa17f8d77f8c7a98d0d8f020300ecd2a7041ff71ca835a11d0f80bb58fb0 |
| ckormanyos-wide-integer-c725651_GH0.tar.gz | 192028 | c06cdf52528aae4d78e0e936e22e4d04cabe3188c9affb5bd2cde5640e5193fb |
| mpark-variant-23cb94f_GH0.tar.gz | 33918 | e29ba09f184022095f558b043d85a61c1585020095c232e969dc1179a312de9f |
| TartanLlama-optional-3a1209d_GH0.tar.gz | 22265 | b0bc5e955ed08a181ead21627d012fff5ce3ba015f4762d275cafc412ab1bae7 |
| Tessil-hopscotch-map-75f0584_GH0.tar.gz | 70655 | b6fa0a8858417660fafe6d9572721bc01a1d223925466792ff07637401331e1d |
| Tessil-ordered-map-46adc0e_GH0.tar.gz | 69280 | 15ee46e5c93e6898616d87e7904971839dd397d0eb2439a81bc2908c62c12f99 |
| Tessil-sparse-map-1bc4561_GH0.tar.gz | 72109 | 8458efd5b42d465a3ac63327fb4c8cfc1423fb30a4adbb6dcdceba86cb7a1607 |
| 92d7f44f5e7fc468af5b91f8c00135cf52caa5c2.patch | 1.023081e+06 | 4dc3b9f6caf1441b2200316d01f143147e96c470fba137d42cec2a0316028199 |
Commit history 0
No commits in the history this site was built from.