clasp Answer set solver for (extended) normal logic programs

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

Maintainer: vsevolod@FreeBSD.org

Port Added: 2013-09-19 14:15:11

Last Update: 2020-07-05 10:24:54

SVN Revision: 541266

Also Listed In: devel

License: MIT

Description:

Clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on SMODELS format, as output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB solver (on OPB format). WWW: http://potassco.sourceforge.net/

SVNWeb : Homepage

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

Expand this list (4 items)

Collapse this list.

1. bin/clasp
2. /usr/local/share/licenses/clasp-3.3.5/catalog.mk
3. /usr/local/share/licenses/clasp-3.3.5/LICENSE
4. /usr/local/share/licenses/clasp-3.3.5/MIT

Collapse this list.

Dependency lines:

• clasp>0:math/clasp

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

To add the package: pkg install clasp

PKGNAME: clasp

Flavors: there is no flavor information for this port.

distinfo:

TIMESTAMP = 1592574784 SHA256 (potassco-clasp-v3.3.5_GH0.tar.gz) = faae82371f0e590225171217bfaa010e4712ca4edf42d6cbc5268460705af70e SIZE (potassco-clasp-v3.3.5_GH0.tar.gz) = 621349 SHA256 (potassco-libpotassco-6e31cff_GH0.tar.gz) = 3f98761b7d5d141532130d391e2a19b6d4283341660f9572adb61bd2c3bbb56f SIZE (potassco-libpotassco-6e31cff_GH0.tar.gz) = 210065

Dependencies

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

Build dependencies:

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

This port is required by:

for Run

1. math/aspcud
2. math/py-pyasp

Configuration Options

No options to configure

USES:

compiler:c++11-lang cmake

Master Sites:

Expand this list (1 items)

Collapse this list.
1. https://codeload.github.com/potassco/clasp/tar.gz/v3.3.5?dummy=/
Collapse this list.

math/clasp: fix build on GCC architectures

Use C++11 compiler:
CMake Error in app/CMakeLists.txt:
  Target "clasp" requires the language dialect "CXX11" (with compiler
  extensions), but CMake does not know the compile flags to use to enable it.

MFH:		2020Q3 (fix build blanket)

- Update to 3.3.5
- Convert to USE_GITHUB
- Add libpotassco submodule
- Add license

PR:	225130
Reported by:	yuri

Change cmake default behaviour to outsource.

Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".

I tried to only set insource where explictely needed.

PR:		232038
Exp-run by:	antoine

Mark broken on sparc64.

Approved by:	portmgr (tier-2 blanket)

- Fix trailing whitespace in pkg-descrs, categories [g-n]*

Approved by:	portmgr blanket

- Update to 3.1.3

MASTER_SITES cleanup.

- Replace ${MASTER_SITE_FOO} with FOO.
- Merge MASTER_SITE_SUBDIR into MASTER_SITES when possible. (This means 99.9%
  of the time.)
- Remove occurrences of MASTER_SITE_LOCAL when no subdirectory was present and
  no hint of what it should be was present.
- Fix some logic.
- And generally, make things more simple and easy to understand.

While there, add magic values to the FESTIVAL, GENTOO, GIMP, GNUPG, QT and
SAMBA macros.

Also, replace some EXTRACT_SUFX occurences with USES=tar:*.

Checked by:	make fetch-urlall-list
With hat:	portmgr
Sponsored by:	Absolight

Fix build on 8 and 9 where there is no std::strtoull.

Do not bump revision since package content is unchanged.

- Update to 3.1.0

- Remove empty dirs and files

- Update to 2.1.4

- Unbreak with clang and new C++ world.
- Support staging.
- Strip binary by using INSTALL_PROGRAM instead of INSTALL.

Add NO_STAGE all over the place in preparation for the staging support (cat:
math)

Add clasp - an answer set solver for (extended) normal logic programs.

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

^* - modified, not new

All vulnerabilities

Last updated:
2021-01-14 20:39:03