Date: Thu, 19 Sep 2013 14:14:55 +0000 (UTC) From: Vsevolod Stakhov <vsevolod@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r327622 - head/math/clasp Message-ID: <201309191414.r8JEEtgA007806@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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> 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/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201309191414.r8JEEtgA007806>