svn commit: r365711 - in head/devel: . picosat

[Kubilay Kocak]

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 at FreeBSD.org>
+# $FreeBSD$
+
+PORTNAME=	picosat
+DISTVERSION=	957
+CATEGORIES=	devel math
+MASTER_SITES=	http://fmv.jku.at/picosat/
+
+MAINTAINER=	koobs at 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