Date: Wed, 18 Sep 2013 13:28:07 +0000 (UTC) From: Vsevolod Stakhov <vsevolod@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r327544 - head/math/minisat Message-ID: <201309181328.r8IDS7kq010899@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@FreeBSD.org> +# $FreeBSD$ + +PORTNAME= minisat +PORTVERSION= 2.2.1 +CATEGORIES= math devel +MASTER_SITES= http://highsecure.ru/distfiles/ + +MAINTAINER= vsevolod@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 @@ +@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 +@dirrmtry include/minisat/utils +@dirrmtry include/minisat/simp +@dirrmtry include/minisat/mtl +@dirrmtry include/minisat/core +@dirrmtry include/minisat
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201309181328.r8IDS7kq010899>