From owner-svn-ports-all@FreeBSD.ORG Sat Aug 23 06:30:31 2014 Return-Path: Delivered-To: svn-ports-all@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 ESMTPS id 2A64DDD2; Sat, 23 Aug 2014 06:30:31 +0000 (UTC) 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)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 1565934A7; Sat, 23 Aug 2014 06:30:31 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.9/8.14.9) with ESMTP id s7N6UU3r021594; Sat, 23 Aug 2014 06:30:30 GMT (envelope-from koobs@FreeBSD.org) Received: (from koobs@localhost) by svn.freebsd.org (8.14.9/8.14.9/Submit) id s7N6UUTm021589; Sat, 23 Aug 2014 06:30:30 GMT (envelope-from koobs@FreeBSD.org) Message-Id: <201408230630.s7N6UUTm021589@svn.freebsd.org> X-Authentication-Warning: svn.freebsd.org: koobs set sender to koobs@FreeBSD.org using -f From: Kubilay Kocak Date: Sat, 23 Aug 2014 06:30:30 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r365711 - in head/devel: . picosat X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.18-1 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 23 Aug 2014 06:30:31 -0000 Author: koobs Date: Sat Aug 23 06:30:29 2014 New Revision: 365711 URL: http://svnweb.freebsd.org/changeset/ports/365711 QAT: https://qat.redports.org/buildarchive/r365711/ Log: devel/picosat: Satisfiability (SAT) solver for boolean variables PicoSAT is a satisfiability (SAT) solver for boolean variables in boolean expressions. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given set of expressions true. If it's satisfiable, it can also show a set of assignments that make the expression true. Many problems can be broken down into a large SAT problem (perhaps with thousands of variables), so SAT solvers have a variety of uses. WWW: http://fmv.jku.at/picosat Added: head/devel/picosat/ head/devel/picosat/Makefile (contents, props changed) head/devel/picosat/distinfo (contents, props changed) head/devel/picosat/pkg-descr (contents, props changed) head/devel/picosat/pkg-plist (contents, props changed) Modified: head/devel/Makefile Modified: head/devel/Makefile ============================================================================== --- head/devel/Makefile Sat Aug 23 06:05:37 2014 (r365710) +++ head/devel/Makefile Sat Aug 23 06:30:29 2014 (r365711) @@ -3462,6 +3462,7 @@ SUBDIR += phptags SUBDIR += physfs SUBDIR += physfs-devel + SUBDIR += picosat SUBDIR += picp SUBDIR += picprog SUBDIR += piklab Added: head/devel/picosat/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/picosat/Makefile Sat Aug 23 06:30:29 2014 (r365711) @@ -0,0 +1,30 @@ +# Created by: Kubilay Kocak +# $FreeBSD$ + +PORTNAME= picosat +DISTVERSION= 957 +CATEGORIES= devel math +MASTER_SITES= http://fmv.jku.at/picosat/ + +MAINTAINER= koobs@FreeBSD.org +COMMENT= Satisfiability (SAT) solver for boolean variables + +LICENSE= MIT +LICENSE_FILE= ${WRKSRC}/LICENSE + +USE_LDCONFIG= yes +HAS_CONFIGURE= yes +CONFIGURE_ARGS= --shared --trace --stats +MAKEFILE= makefile +MAKE_JOBS_UNSAFE= yes + +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/picosat ${STAGEDIR}${PREFIX}/bin + ${INSTALL_PROGRAM} ${WRKSRC}/picomcs ${STAGEDIR}${PREFIX}/bin + ${INSTALL_PROGRAM} ${WRKSRC}/picomus ${STAGEDIR}${PREFIX}/bin + ${INSTALL_PROGRAM} ${WRKSRC}/picogcnf ${STAGEDIR}${PREFIX}/bin + ${INSTALL_LIB} ${WRKSRC}/libpicosat.so ${STAGEDIR}${PREFIX}/lib + ${INSTALL_DATA} ${WRKSRC}/libpicosat.a ${STAGEDIR}${PREFIX}/lib + ${INSTALL_DATA} ${WRKSRC}/picosat.h ${STAGEDIR}${PREFIX}/include + +.include Added: head/devel/picosat/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/picosat/distinfo Sat Aug 23 06:30:29 2014 (r365711) @@ -0,0 +1,2 @@ +SHA256 (picosat-957.tar.gz) = 7efa0149f297971328324b90cee349223e3c9c9aab6f6e306caae2553a169822 +SIZE (picosat-957.tar.gz) = 63329 Added: head/devel/picosat/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/picosat/pkg-descr Sat Aug 23 06:30:29 2014 (r365711) @@ -0,0 +1,10 @@ +PicoSAT is a satisfiability (SAT) solver for boolean variables in +boolean expressions. A SAT solver can determine if it is possible to +find assignments to boolean variables that would make a given set of +expressions true. If it's satisfiable, it can also show a set of +assignments that make the expression true. + +Many problems can be broken down into a large SAT problem (perhaps with +thousands of variables), so SAT solvers have a variety of uses. + +WWW: http://fmv.jku.at/picosat Added: head/devel/picosat/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/picosat/pkg-plist Sat Aug 23 06:30:29 2014 (r365711) @@ -0,0 +1,7 @@ +bin/picogcnf +bin/picomcs +bin/picomus +bin/picosat +include/picosat.h +lib/libpicosat.a +lib/libpicosat.so