diff options
| author | Vsevolod Stakhov <vsevolod@FreeBSD.org> | 2013-09-19 14:14:54 +0000 |
|---|---|---|
| committer | Vsevolod Stakhov <vsevolod@FreeBSD.org> | 2013-09-19 14:14:54 +0000 |
| commit | fc0535e09b6c3d4f06c79d509d38c6a3ca7b88cb (patch) | |
| tree | 795f28852bf105e53d8a976b554de0636a52db05 /math/clasp | |
| parent | 9bf84429029ea6f313ca1004327395b46368be2b (diff) | |
| download | ports-fc0535e09b6c3d4f06c79d509d38c6a3ca7b88cb.tar.gz ports-fc0535e09b6c3d4f06c79d509d38c6a3ca7b88cb.zip | |
Add clasp - an answer set solver for (extended) normal logic programs.
Notes
Notes:
svn path=/head/; revision=327622
Diffstat (limited to 'math/clasp')
| -rw-r--r-- | math/clasp/Makefile | 21 | ||||
| -rw-r--r-- | math/clasp/distinfo | 2 | ||||
| -rw-r--r-- | math/clasp/pkg-descr | 13 |
3 files changed, 36 insertions, 0 deletions
diff --git a/math/clasp/Makefile b/math/clasp/Makefile new file mode 100644 index 000000000000..16fd9f6b21b7 --- /dev/null +++ b/math/clasp/Makefile @@ -0,0 +1,21 @@ +# Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org> +# $FreeBSD$ + +PORTNAME= clasp +PORTVERSION= 2.1.3 +CATEGORIES= math devel +MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} +MASTER_SITE_SUBDIR= potassco/${PORTNAME}/${PORTVERSION} +EXTRACT_SUFX= -source.tar.gz + +MAINTAINER= vsevolod@FreeBSD.org +COMMENT= Answer set solver for (extended) normal logic programs + +USES= cmake:outsource + +PLIST_FILES= bin/${PORTNAME} + +do-install: + ${INSTALL} ${INSTALL_WRKSRC}/bin/${PORTNAME} ${PREFIX}/bin/${PORTNAME} + +.include <bsd.port.mk> diff --git a/math/clasp/distinfo b/math/clasp/distinfo new file mode 100644 index 000000000000..ada1b32276f0 --- /dev/null +++ b/math/clasp/distinfo @@ -0,0 +1,2 @@ +SHA256 (clasp-2.1.3-source.tar.gz) = 84b737845482b91f8ccb6eab6784c7641bb6986ce725194d3f74ddaf832ebfc7 +SIZE (clasp-2.1.3-source.tar.gz) = 397519 diff --git a/math/clasp/pkg-descr b/math/clasp/pkg-descr new file mode 100644 index 000000000000..d1cce4a0d927 --- /dev/null +++ b/math/clasp/pkg-descr @@ -0,0 +1,13 @@ +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/ |