From owner-svn-ports-head@FreeBSD.ORG  Sun Aug 24 17:00:21 2014
Return-Path: <owner-svn-ports-head@FreeBSD.ORG>
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 ESMTPS id 10814E44;
 Sun, 24 Aug 2014 17:00:21 +0000 (UTC)
Received: from h.highsecure.ru (mail6.highsecure.ru
 [IPv6:2a01:4f8:191:22a6::99])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id C44403F81;
 Sun, 24 Aug 2014 17:00:20 +0000 (UTC)
Received: from medway.cl.cam.ac.uk (medway.cl.cam.ac.uk
 [IPv6:2001:630:212:238:21c:c0ff:fe4b:2b85])
 (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
 (No client certificate requested)
 (Authenticated sender: vsevolod@highsecure.ru)
 by h.highsecure.ru (Postfix) with ESMTPSA id 1788D30007B;
 Sun, 24 Aug 2014 19:00:00 +0200 (CEST)
Message-ID: <53FA1A21.7060807@FreeBSD.org>
Date: Sun, 24 Aug 2014 18:00:17 +0100
From: Vsevolod Stakhov <vsevolod@FreeBSD.org>
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:31.0) Gecko/20100101 Thunderbird/31.0
MIME-Version: 1.0
To: Kubilay Kocak <koobs@FreeBSD.org>, ports-committers@freebsd.org, 
 svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject: Re: svn commit: r365711 - in head/devel: . picosat
References: <201408230630.s7N6UUTm021589@svn.freebsd.org>
In-Reply-To: <201408230630.s7N6UUTm021589@svn.freebsd.org>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-BeenThere: svn-ports-head@freebsd.org
X-Mailman-Version: 2.1.18-1
Precedence: list
List-Id: SVN commit messages for the ports tree for head
 <svn-ports-head.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-head/>
List-Post: <mailto:svn-ports-head@freebsd.org>
List-Help: <mailto:svn-ports-head-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 24 Aug 2014 17:00:21 -0000

On 23/08/14 07:30, Kubilay Kocak wrote:
> Author: koobs
> Date: Sat Aug 23 06:30:29 2014
> New Revision: 365711
> URL: http://svnweb.freebsd.org/changeset/ports/365711
> QAT: https://qat.redports.org/buildarchive/r365711/
> 
> Log:
>   devel/picosat: Satisfiability (SAT) solver for boolean variables
>   
>   PicoSAT is a satisfiability (SAT) solver for boolean variables in
>   boolean expressions. A SAT solver can determine if it is possible to
>   find assignments to boolean variables that would make a given set of
>   expressions true. If it's satisfiable, it can also show a set of
>   assignments that make the expression true.
>   
>   Many problems can be broken down into a large SAT problem (perhaps with
>   thousands of variables), so SAT solvers have a variety of uses.
>   
>   WWW: http://fmv.jku.at/picosat
> 
> Added:
>   head/devel/picosat/
>   head/devel/picosat/Makefile   (contents, props changed)
>   head/devel/picosat/distinfo   (contents, props changed)
>   head/devel/picosat/pkg-descr   (contents, props changed)
>   head/devel/picosat/pkg-plist   (contents, props changed)
> Modified:
>   head/devel/Makefile

Why have you set the main category of this port to 'devel'. It is
obviously mostly 'math' port. For example, there are other solvers, such
as minisat and clasp that are in 'math' category. Placing another SAT
solver in 'devel' category leads to ambiguity.

-- 
Vsevolod Stakhov