From owner-svn-ports-all@FreeBSD.ORG Wed Sep 18 13:28:08 2013 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTP id E5F297AE; Wed, 18 Sep 2013 13:28:07 +0000 (UTC) (envelope-from vsevolod@FreeBSD.org) 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)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id D378D2A41; Wed, 18 Sep 2013 13:28:07 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id r8IDS7C4010903; Wed, 18 Sep 2013 13:28:07 GMT (envelope-from vsevolod@svn.freebsd.org) Received: (from vsevolod@localhost) by svn.freebsd.org (8.14.7/8.14.5/Submit) id r8IDS7kq010899; Wed, 18 Sep 2013 13:28:07 GMT (envelope-from vsevolod@svn.freebsd.org) Message-Id: <201309181328.r8IDS7kq010899@svn.freebsd.org> From: Vsevolod Stakhov Date: Wed, 18 Sep 2013 13:28:07 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r327544 - head/math/minisat 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.14 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: Wed, 18 Sep 2013 13:28:08 -0000 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 +# $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 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