notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.
New feature planned: get notified when the package is available. Now is the time to contribute ideas/suggestions.
Port details
clasp Answer set solver for (extended) normal logic programs
3.3.9 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.3.9Version of this port present on the latest quarterly branch.
Maintainer: vsevolod@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2013-09-19 14:15:11
Last Update: 2023-12-31 00:37:05
Commit Hash: bbab7f5
Also Listed In: devel
License: MIT
WWW:
https://potassco.org/clasp/
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).
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
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.9/catalog.mk
  3. /usr/local/share/licenses/clasp-3.3.9/LICENSE
  4. /usr/local/share/licenses/clasp-3.3.9/MIT
Collapse this list.
Dependency lines:
  • clasp>0:math/clasp
Conflicts:
CONFLICTS_INSTALL:
  • clingo
Conflicts Matches:
There are no Conflicts Matches for this port. This is usually an error.
To install the port:
cd /usr/ports/math/clasp/ && make install clean
To add the package, run one of these commands:
  • pkg install math/clasp
  • pkg install clasp
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: clasp
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1693909958 SHA256 (potassco-clasp-v3.3.9_GH0.tar.gz) = 858bb4850814a89e30711abea23985646fab56c8e43663a30b2255bb3d863948 SIZE (potassco-clasp-v3.3.9_GH0.tar.gz) = 677796

Expand this list (2 items)

Collapse this list.

SHA256 (potassco-libpotassco-fa39da4_GH0.tar.gz) = a46dec9da76bc6af85060e47814b9c85cd80914fe3795e9c269608cb739289f3 SIZE (potassco-libpotassco-fa39da4_GH0.tar.gz) = 259662

Collapse this list.


Packages (timestamps in pop-ups are UTC):
clasp
ABIlatestquarterly
FreeBSD:13:aarch643.3.93.3.9
FreeBSD:13:amd643.3.93.3.9
FreeBSD:13:armv63.3.53.3.5
FreeBSD:13:armv73.3.93.3.9
FreeBSD:13:i3863.3.93.3.9
FreeBSD:13:powerpc-3.3.9
FreeBSD:13:powerpc643.3.53.3.9
FreeBSD:13:powerpc64le-3.3.9
FreeBSD:14:aarch643.3.93.3.9
FreeBSD:14:amd643.3.93.3.9
FreeBSD:14:armv63.3.5-
FreeBSD:14:armv73.3.93.3.9
FreeBSD:14:i3863.3.93.3.9
FreeBSD:14:powerpc3.3.53.3.9
FreeBSD:14:powerpc64-3.3.9
FreeBSD:14:powerpc64le3.3.53.3.9
FreeBSD:15:aarch643.3.9-
FreeBSD:15:amd643.3.9-
FreeBSD:15:armv73.3.9-
FreeBSD:15:powerpc3.3.9-
FreeBSD:15:powerpc643.3.9-
FreeBSD:15:powerpc64le3.3.9-
 
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. cmake : devel/cmake-core
  2. ninja : devel/ninja
This port is required by:
for Run

Deleted ports which required this port:

Expand this list of 2 deleted ports
  1. math/aspcud*
  2. math/py-pyasp*
  3. Collapse this list of deleted ports.
* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

Configuration Options:
No options to configure
Options name:
math_clasp
USES:
compiler:c++11-lang cmake
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/potassco/clasp/tar.gz/v3.3.9?dummy=/
Collapse this list.

Number of commits found: 21

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
3.3.9
31 Dec 2023 00:37:05
commit hash: bbab7f59e9630416397189df70ec133bdd690e38commit hash: bbab7f59e9630416397189df70ec133bdd690e38commit hash: bbab7f59e9630416397189df70ec133bdd690e38commit hash: bbab7f59e9630416397189df70ec133bdd690e38 files touched by this commit
Muhammad Moinur Rahman (bofh) search for other commits by this committer
*/*: Sunset 12.4-RELEASE/12-STABLE from ports tree

- Remove all references to defunct ARCH arm
- Remove all references to defunct ARCH sparc64
- Remove x11-drivers/xf86-video-sunffb which requires defunct sparc64
  ARCH
- Remove sysutils/afbinit requires defunct sparc64 ARCH
- Remove all references to bktr driver
- Remove all references to defunct FreeBSD_12
- Remove all references to OSVERSION/OSREL corresponding to 12
- Remove conditionals in Mk/Uses/cabal.mk
- Remove sparc reference from Mk/Uses/qt-dist.mk
- Remove BROKEN_sparc64/NOT_FOR_ARCH=sparc64
- Remove BROKEN_FreeBSD_12* from:
- Remove OpenSSL patches from:
- Remove conditional flags for OSVERSION >= 1300000 to fixed flags.
  Also move conditional flags for non sparc64/arm ARCH to fixed flags.

Reviewed by:	brooks, jbeich, rene, salvadore
Differential Revision: https://reviews.freebsd.org/D42068
3.3.9
05 Sep 2023 10:41:53
commit hash: edf8c43fb1c22cae1de84baa0d2c841f7331b96ccommit hash: edf8c43fb1c22cae1de84baa0d2c841f7331b96ccommit hash: edf8c43fb1c22cae1de84baa0d2c841f7331b96ccommit hash: edf8c43fb1c22cae1de84baa0d2c841f7331b96c files touched by this commit
Vsevolod Stakhov (vsevolod) search for other commits by this committer
math/clasp: Update to 3.3.9

Changes: https://github.com/potassco/clasp/releases/tag/v3.3.9
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
3.3.5
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
3.3.5
20 Jul 2022 14:22:24
commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5dacommit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5dacommit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5dacommit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
math: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Aaron Dalton <aaron@daltons.ca>
  *  Alessando Sagratini <ale_sagra@hotmail.com>
  *  Alex Dupre <ale@FreeBSD.org>
  *  Alexey Dokuchaev <danfe@FreeBSD.org>
  *  Amarendra Godbole <amarendra.godbole@gmail.com>
  *  Anders Nordby <anders@FreeBSD.org>
  *  Andreas Fehlner (fehlner@gmx.de)
  *  Andrew L. Neporada <andrew@chg.ru>
  *  Andrey <gugu@zoo.rambler.ru>
  *  Andrey Zakhvatov
(Only the first 15 lines of the commit message are shown above View all of this commit message)
3.3.5
21 Apr 2021 21:33:50
commit hash: cbf6cb97f2ad8890c2bf612f84e2e71417d386fdcommit hash: cbf6cb97f2ad8890c2bf612f84e2e71417d386fdcommit hash: cbf6cb97f2ad8890c2bf612f84e2e71417d386fdcommit hash: cbf6cb97f2ad8890c2bf612f84e2e71417d386fd files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/clingo: Update 5.4.1 -> 5.5.0

Reported by:	portscout
3.3.5
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
3.3.5
05 Jul 2020 09:24:54
Revision:541266Original commit files touched by this commit
pkubaj search for other commits by this committer
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)
3.3.5
19 Jun 2020 14:02:11
Revision:539611Original commit files touched by this commit
vsevolod search for other commits by this committer
- Update to 3.3.5
- Convert to USE_GITHUB
- Add libpotassco submodule
- Add license

PR:	225130
Reported by:	yuri
3.1.3
25 Dec 2018 20:25:40
Revision:488341Original commit files touched by this commit
tcberner search for other commits by this committer
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
3.1.3
18 Sep 2016 11:48:46
Revision:422376Original commit files touched by this commit
linimon search for other commits by this committer
Mark broken on sparc64.

Approved by:	portmgr (tier-2 blanket)
3.1.3
19 May 2016 10:44:12
Revision:415499Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Fix trailing whitespace in pkg-descrs, categories [g-n]*

Approved by:	portmgr blanket
3.1.3
17 Aug 2015 12:48:44
Revision:394460Original commit files touched by this commit
vsevolod search for other commits by this committer
- Update to 3.1.3
3.1.0
14 May 2015 10:15:09
Revision:386312Original commit files touched by this commit
mat search for other commits by this committer
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
3.1.0
27 Aug 2014 12:09:49
Revision:366312Original commit files touched by this commit
vsevolod search for other commits by this committer
Fix build on 8 and 9 where there is no std::strtoull.

Do not bump revision since package content is unchanged.
3.1.0
19 Aug 2014 15:07:19
Revision:365388Original commit files touched by this commit
vsevolod search for other commits by this committer
- Update to 3.1.0
2.1.4
27 Feb 2014 14:49:56
Revision:346356Original commit files touched by this commit
miwi search for other commits by this committer
- Remove empty dirs and files
2.1.4
10 Jan 2014 13:33:13
Revision:339352Original commit files touched by this commit
vsevolod search for other commits by this committer
- Update to 2.1.4
2.1.3_1
01 Nov 2013 15:53:37
Revision:332393Original commit files touched by this commit
vsevolod search for other commits by this committer
- Unbreak with clang and new C++ world.
- Support staging.
- Strip binary by using INSTALL_PROGRAM instead of INSTALL.
2.1.3
20 Sep 2013 20:55:06
Revision:327746Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
2.1.3
19 Sep 2013 14:14:55
Revision:327622Original commit files touched by this commit
vsevolod search for other commits by this committer
Add clasp - an answer set solver for (extended) normal logic programs.

Number of commits found: 21