Port details
clingcon Extension of clingo to handle constraints over integers
5.2.1 math Σ 5.2.1Version of this port present on the latest quarterly branch. Maintainer: yuri@FreeBSD.org Port Added: 2022-09-14 11:42:51Last Update: 2024-04-21 04:03:39Commit Hash: 6f7967f License: MITWWW: https://potassco.org/clingcon/ 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. Manual pages: # FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist # USE_RC_SUBR (Service Scripts)
no SUBR information found for this port
Dependency lines :
For LIB depends:libclingcon.so:math/clingcon To install the port : # cd /usr/ports/math/clingcon/ && make install clean To add the package , run one of these commands: pkg install math/clingcon pkg install clingcon PKGNAME: clingcon Flavors: # there is no flavor information for this port. distinfo: # TIMESTAMP = 1713670379
SHA256 (potassco-clingcon-v5.2.1_GH0.tar.gz) = ff17294757f3f3f2420acd2145fe9cb039b9aaeace428f546fee3896b00ef724
SIZE (potassco-clingcon-v5.2.1_GH0.tar.gz) = 1376527
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 ninja : devel/ninja
Library dependencies: #
libclingo.so : math/clingo
There are no ports dependent upon this port # Configuration Options : # No options to configure Options name : # math_clingcon USES: # cmake:testing compiler:c++17-lang
pkg-message: # FreshPorts was unable to extract/find any pkg message Master Sites: #
Number of commits found: 2 #
Commit History - (may be incomplete: for full details, see links to repositories near top of page) Commit Credits Log message 5.2.1 Yuri Victorovich (yuri) math/{,py-}clingcon: update 5.2.0 → 5.2.1
Reported by: portscout 5.2.0 Yuri Victorovich (yuri) math/clingcon: New port: Extension of clingo to handle constraints over integers
Number of commits found: 2
