Date: Sat, 23 Aug 2014 06:30:30 +0000 (UTC) From: Kubilay Kocak <koobs@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r365711 - in head/devel: . picosat Message-ID: <201408230630.s7N6UUTm021589@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 <koobs@FreeBSD.org> +# $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 <bsd.port.mk> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201408230630.s7N6UUTm021589>