From owner-svn-ports-head@FreeBSD.ORG Thu Sep 19 14:14:56 2013 Return-Path: Delivered-To: svn-ports-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTP id 0A9AA33D; Thu, 19 Sep 2013 14:14:56 +0000 (UTC) (envelope-from vsevolod@FreeBSD.org) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id D072820CA; Thu, 19 Sep 2013 14:14:55 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id r8JEEtID007814; Thu, 19 Sep 2013 14:14:55 GMT (envelope-from vsevolod@svn.freebsd.org) Received: (from vsevolod@localhost) by svn.freebsd.org (8.14.7/8.14.5/Submit) id r8JEEtgA007806; Thu, 19 Sep 2013 14:14:55 GMT (envelope-from vsevolod@svn.freebsd.org) Message-Id: <201309191414.r8JEEtgA007806@svn.freebsd.org> From: Vsevolod Stakhov Date: Thu, 19 Sep 2013 14:14:55 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r327622 - head/math/clasp X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 19 Sep 2013 14:14:56 -0000 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 +# $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 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/