From owner-svn-ports-head@FreeBSD.ORG Wed Sep 18 13:42:26 2013 Return-Path: Delivered-To: svn-ports-head@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 E51BAC8E; Wed, 18 Sep 2013 13:42:26 +0000 (UTC) (envelope-from william88@gmail.com) Received: from mail-qe0-x236.google.com (mail-qe0-x236.google.com [IPv6:2607:f8b0:400d:c02::236]) (using TLSv1 with cipher ECDHE-RSA-RC4-SHA (128/128 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id 74E122B82; Wed, 18 Sep 2013 13:42:26 +0000 (UTC) Received: by mail-qe0-f54.google.com with SMTP id cy11so4572483qeb.41 for ; Wed, 18 Sep 2013 06:42:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=yw6jWE2h2t/Waekkws0ePnkNzMG3OpYBvZMrYU31eDc=; b=BSpgmLOkiV5jO6cBWrxe85sLQKAEOaDzV8X7Xa1lqj6RC6Ca98h20p5Wyp4hOMLu13 SJ6NMiFwrY+ym3tN1vD/mP8LaRCvs7u0hecmy1LFyyzKAHS4mYAeIIVhFFZ5NrXeHqPh /HZ9MCvTU161+Sw7VupaO+cKJ7jnaAptW7JQdZBtJpNE4+XGd5p20oe8tQHM1fuVu6ya nsn1xkWYNmm84o58RfuBOdx7jizuB2R14UglVxS5hmMKX4Ji0jde/O48/ywdvHwF3tf7 7YB7PtTTBXNdr1phCS8BfeZ9r7pm8VcchpNlFJLWCsvG8M3rV+yQIIzCZdLAb9Fi8TXV B1Lw== MIME-Version: 1.0 X-Received: by 10.224.34.74 with SMTP id k10mr14641293qad.63.1379511745328; Wed, 18 Sep 2013 06:42:25 -0700 (PDT) Received: by 10.140.81.233 with HTTP; Wed, 18 Sep 2013 06:42:25 -0700 (PDT) In-Reply-To: <201309181328.r8IDS7kq010899@svn.freebsd.org> References: <201309181328.r8IDS7kq010899@svn.freebsd.org> Date: Wed, 18 Sep 2013 10:42:25 -0300 Message-ID: Subject: Re: svn commit: r327544 - head/math/minisat From: William Grzybowski To: Vsevolod Stakhov Content-Type: text/plain; charset=ISO-8859-1 Cc: svn-ports-head@freebsd.org, svn-ports-all@freebsd.org, ports-committers X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 18 Sep 2013 13:42:27 -0000 On Wed, Sep 18, 2013 at 10:28 AM, Vsevolod Stakhov wrote: > 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 We are dropping the indefinite articles from the beginning of COMMENT > + > +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$ We don't use fbsd keyword in pkg-plist anymore. A correct proplist in .subversion/config can deal with it, or Tools/addport in the tree. svn propset fbsd:nokeywords yes pkg-plist svn propdel svn:keywords pkg-plist > + > +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 -- William Grzybowski ------------------------------------------ Curitiba/PR - Brasil