| Port details |
- clasp Answer set solver for (extended) normal logic programs
- 3.3.9 math
 =2      3.3.9Version of this port present on the latest quarterly branch. - Maintainer: vsevolod@FreeBSD.org
- Port Added: 2013-09-19 14:15:11
- Last Update: 2023-12-31 00:37:05
- Commit Hash: bbab7f5
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- 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).
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- Conflicts:
- CONFLICTS_INSTALL:
- 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
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
- This port is required by:
- for Run
-
Deleted ports which required this port:
- * - 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:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
3.3.9
31 Dec 2023 00:37:05
 |
Muhammad Moinur Rahman (bofh) |
*/*: 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
|
Vsevolod Stakhov (vsevolod) |
math/clasp: Update to 3.3.9
Changes: https://github.com/potassco/clasp/releases/tag/v3.3.9 |
07 Sep 2022 21:58:51
|
Stefan Eßer (se) |
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
|
Stefan Eßer (se) |
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  ) |
3.3.5
20 Jul 2022 14:22:24
|
Tobias C. Berner (tcberner) |
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 ) |
3.3.5
21 Apr 2021 21:33:50
|
Yuri Victorovich (yuri) |
math/clingo: Update 5.4.1 -> 5.5.0
Reported by: portscout |
3.3.5
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
3.3.5
05 Jul 2020 09:24:54
 |
pkubaj |
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
|
vsevolod |
- 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
|
tcberner |
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
|
linimon |
Mark broken on sparc64.
Approved by: portmgr (tier-2 blanket) |
3.1.3
19 May 2016 10:44:12
|
amdmi3 |
- Fix trailing whitespace in pkg-descrs, categories [g-n]*
Approved by: portmgr blanket |
3.1.3
17 Aug 2015 12:48:44
|
vsevolod |
- Update to 3.1.3 |
3.1.0
14 May 2015 10:15:09
|
mat |
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
|
vsevolod |
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
|
vsevolod |
- Update to 3.1.0 |
2.1.4
27 Feb 2014 14:49:56
|
miwi |
- Remove empty dirs and files |
2.1.4
10 Jan 2014 13:33:13
|
vsevolod |
- Update to 2.1.4 |
2.1.3_1
01 Nov 2013 15:53:37
|
vsevolod |
- 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
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
math) |
2.1.3
19 Sep 2013 14:14:55
|
vsevolod |
Add clasp - an answer set solver for (extended) normal logic programs. |
As an Amazon Associate I earn from qualifying purchases.