clingo Grounder and solver for logic programs

5.4.1 math =0 5.4.0Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2019-11-16 03:56:50

Last Update: 2020-12-09 05:00:30

SVN Revision: 557347

License: MIT

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. WWW: https://potassco.org/

SVNWeb : Homepage

pkg-plist: as obtained via: make generate-plist

Expand this list (21 items)

Collapse this list.

1. @ldconfig
2. /usr/local/share/licenses/clingo-5.4.1/catalog.mk
3. /usr/local/share/licenses/clingo-5.4.1/LICENSE
4. /usr/local/share/licenses/clingo-5.4.1/MIT
5. bin/clasp
6. bin/clingo
7. bin/gringo
8. bin/lpconvert
9. bin/reify
10. include/clingo.h
11. include/clingo.hh
12. lib/cmake/Clingo/ClingoConfig.cmake
13. lib/cmake/Clingo/ClingoConfigVersion.cmake
14. lib/cmake/Clingo/ClingoTargets-release.cmake
15. lib/cmake/Clingo/ClingoTargets.cmake
16. lib/libclingo.so
17. lib/libclingo.so.3
18. lib/libclingo.so.3.0
19. @owner
20. @group
21. @mode

Collapse this list.

Dependency lines:

• clingo>0:math/clingo

To install the port: cd /usr/ports/math/clingo/ && make install clean

To add the package: pkg install clingo

PKGNAME: clingo

Flavors: there is no flavor information for this port.

distinfo:

TIMESTAMP = 1607489618 SHA256 (potassco-clingo-v5.4.1_GH0.tar.gz) = ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 SIZE (potassco-clingo-v5.4.1_GH0.tar.gz) = 2822845 SHA256 (potassco-clasp-b089aa1509511ab403c0b9abd0d13eb9e873af44_GH0.tar.gz) = ab2ac6601292619f94831065ee5c009f3168e14be52a65df7b9abdc20a1fc33f SIZE (potassco-clasp-b089aa1509511ab403c0b9abd0d13eb9e873af44_GH0.tar.gz) = 627136 SHA256 (potassco-libpotassco-2f9fb7ca2c202f1b47643aa414054f2f4f9c1821_GH0.tar.gz) = 41eb8b7d87ecea48392de4ada455cda179cbd62fd63496355dea87e1e44b599f SIZE (potassco-libpotassco-2f9fb7ca2c202f1b47643aa414054f2f4f9c1821_GH0.tar.gz) = 210177

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. re2c : devel/re2c
2. cmake : devel/cmake
3. ninja : devel/ninja

There are no ports dependent upon this port

Configuration Options

No options to configure

USES:

cmake compiler:c++14-lang

Master Sites:

Expand this list (1 items)

Collapse this list.
1. https://codeload.github.com/potassco/clingo/tar.gz/v5.4.1?dummy=/
Collapse this list.

math/clingo: Update 5.4.0 -> 5.4.1

Reported by:	portscout

Fix build on GCC-based systems:

  CMake Error in app/clingo/CMakeLists.txt:
  Target "clingo" requires the language dialect "CXX14" , but CMake does not
  know the compile flags to use to enable it.

Approved by:	portmgr (tier-2 blanket)

New port: math/clingo: Grounder and solver for logic programs

12 vulnerabilities affecting 81 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2021-01-22 20:38:30