svn commit: r327622 - head/math/clasp

[Vsevolod Stakhov]

Author: vsevolod
Date: Thu Sep 19 14:14:54 2013
New Revision: 327622
URL: http://svnweb.freebsd.org/changeset/ports/327622

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

Added:
  head/math/clasp/
  head/math/clasp/Makefile   (contents, props changed)
  head/math/clasp/distinfo   (contents, props changed)
  head/math/clasp/pkg-descr   (contents, props changed)

Added: head/math/clasp/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/clasp/Makefile	Thu Sep 19 14:14:54 2013	(r327622)
@@ -0,0 +1,21 @@
+# Created by: Vsevolod Stakhov <vsevolod at 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 at 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>

Added: head/math/clasp/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/clasp/distinfo	Thu Sep 19 14:14:54 2013	(r327622)
@@ -0,0 +1,2 @@
+SHA256 (clasp-2.1.3-source.tar.gz) = 84b737845482b91f8ccb6eab6784c7641bb6986ce725194d3f74ddaf832ebfc7
+SIZE (clasp-2.1.3-source.tar.gz) = 397519

Added: head/math/clasp/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/clasp/pkg-descr	Thu Sep 19 14:14:54 2013	(r327622)
@@ -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/