Date: Wed, 18 Sep 2013 10:42:25 -0300 From: William Grzybowski <william88@gmail.com> To: Vsevolod Stakhov <vsevolod@freebsd.org> Cc: svn-ports-head@freebsd.org, svn-ports-all@freebsd.org, ports-committers <ports-committers@freebsd.org> Subject: Re: svn commit: r327544 - head/math/minisat Message-ID: <CAHtVNLM-=-oHcqhaqHPhJuN2ga_LpCTRkeHqZjM4=Cd0tYGhjA@mail.gmail.com> In-Reply-To: <201309181328.r8IDS7kq010899@svn.freebsd.org> References: <201309181328.r8IDS7kq010899@svn.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, Sep 18, 2013 at 10:28 AM, Vsevolod Stakhov <vsevolod@freebsd.org> 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 <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 We are dropping the indefinite articles from the beginning of COMMENT > + > +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$ 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAHtVNLM-=-oHcqhaqHPhJuN2ga_LpCTRkeHqZjM4=Cd0tYGhjA>