svn commit: r327544 - head/math/minisat

[Vsevolod Stakhov]

Author: vsevolod
Date: Wed Sep 18 13:28:06 2013
New Revision: 327544
URL: http://svnweb.freebsd.org/changeset/ports/327544

Log:
  Add minisat port - a lightweight SAT solver.

Added:
  head/math/minisat/
  head/math/minisat/Makefile   (contents, props changed)
  head/math/minisat/distinfo   (contents, props changed)
  head/math/minisat/pkg-descr   (contents, props changed)
  head/math/minisat/pkg-plist   (contents, props changed)

Added: head/math/minisat/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/minisat/Makefile	Wed Sep 18 13:28:06 2013	(r327544)
@@ -0,0 +1,16 @@
+# Created by: Vsevolod Stakhov <vsevolod at FreeBSD.org>
+# $FreeBSD$
+
+PORTNAME=	minisat
+PORTVERSION=	2.2.1
+CATEGORIES=	math devel
+MASTER_SITES=	http://highsecure.ru/distfiles/
+
+MAINTAINER=	vsevolod at FreeBSD.org
+COMMENT=	A minimalistic, open-source SAT solver
+
+USES=	gmake
+USE_LDCONFIG=	yes
+MAKE_ENV=	prefix=${PREFIX}
+
+.include <bsd.port.mk>

Added: head/math/minisat/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/minisat/distinfo	Wed Sep 18 13:28:06 2013	(r327544)
@@ -0,0 +1,2 @@
+SHA256 (minisat-2.2.1.tar.gz) = d39de26ad3c56a0fbc30a92c23004a5fb2802e8aebd34febc107dc43781e9a19
+SIZE (minisat-2.2.1.tar.gz) = 49892

Added: head/math/minisat/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/minisat/pkg-descr	Wed Sep 18 13:28:06 2013	(r327544)
@@ -0,0 +1,20 @@
+MiniSat is a minimalistic, open-source SAT solver, developed to help
+researchers and developers alike to get started on SAT. It is released under
+the MIT licence, and is currently used in a number of projects.
+
+Some key features of MiniSat:
+
+- Easy to modify. MiniSat is small and well-documented, and possibly also
+well-designed, making it an ideal starting point for adapting SAT based
+techniques to domain specific problems.
+
+- Highly efficient. Winning all the industrial categories of the SAT 2005
+competition, MiniSat is a good starting point both for future research in SAT,
+and for applications using SAT.
+
+- Designed for integration. MiniSat supports incremental SAT and has
+mechanisms for adding non-clausal constraints. By virtue of being easy to
+modify, it is a good choice for integrating as a backend to another tool, such
+as a model checker or a more generic constraint solver. 
+
+WWW: http://minisat.se/

Added: head/math/minisat/pkg-plist
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/minisat/pkg-plist	Wed Sep 18 13:28:06 2013	(r327544)
@@ -0,0 +1,30 @@
+ at comment $FreeBSD$
+
+bin/minisat
+include/minisat/mtl/XAlloc.h
+include/minisat/mtl/Heap.h
+include/minisat/mtl/IntTypes.h
+include/minisat/mtl/IntMap.h
+include/minisat/mtl/Sort.h
+include/minisat/mtl/Rnd.h
+include/minisat/mtl/Alg.h
+include/minisat/mtl/Vec.h
+include/minisat/mtl/Alloc.h
+include/minisat/mtl/Map.h
+include/minisat/mtl/Queue.h
+include/minisat/utils/Options.h
+include/minisat/utils/ParseUtils.h
+include/minisat/utils/System.h
+include/minisat/core/Solver.h
+include/minisat/core/Dimacs.h
+include/minisat/core/SolverTypes.h
+include/minisat/simp/SimpSolver.h
+lib/libminisat.so.2.1.0
+lib/libminisat.so.2
+lib/libminisat.so
+lib/libminisat.a
+ at dirrmtry include/minisat/utils
+ at dirrmtry include/minisat/simp
+ at dirrmtry include/minisat/mtl
+ at dirrmtry include/minisat/core
+ at dirrmtry include/minisat