From owner-svn-ports-all@FreeBSD.ORG Mon Aug 25 11:11:28 2014 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 873599B3; Mon, 25 Aug 2014 11:11:28 +0000 (UTC) Received: from mail-pa0-x231.google.com (mail-pa0-x231.google.com [IPv6:2607:f8b0:400e:c03::231]) (using TLSv1 with cipher ECDHE-RSA-RC4-SHA (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 490973EAD; Mon, 25 Aug 2014 11:11:28 +0000 (UTC) Received: by mail-pa0-f49.google.com with SMTP id hz1so20518040pad.36 for ; Mon, 25 Aug 2014 04:11:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:message-id:date:from:reply-to:user-agent:mime-version:to :subject:references:in-reply-to:content-type :content-transfer-encoding; bh=7/54h0rKpbMqwo5CgxBfyf85b/G3own151ZqU1PHaqU=; b=iYwuQSNBgDPXauFkQ31lxTfWC+wdkYGM6qDibBiTsH+fM6w8Ps5Tz2iyxkcBU98g1O NhviwxKAgcWe97lFKblVMrm9jR9ZWVpRlW05blUMUKxb6diKo3MYel7QMrZZY/Nhk4Jb mte+dMqW2mE/VgNoOrl7CKQJxkCe3j0WuB9QPCzeqK7lDNw4fKkXvAS8uPQ21CUyupVj Y/Ok9X+83PcccXw67XEFGhoor18scbPge3gf/XtC2jqCeibZx1s/Dwsnv9abLVYh9ots hmlTL04Z7Xt/59Fu0Lj+3AZO+6/sULnt4FwoyhGIkogwG+FbvxO0CmXljiyVeZNl0ZtN Izvw== X-Received: by 10.70.43.137 with SMTP id w9mr10175708pdl.140.1408965085342; Mon, 25 Aug 2014 04:11:25 -0700 (PDT) Received: from ?IPv6:2001:44b8:31ae:7b00:c89:a88f:a724:f8d? (2001-44b8-31ae-7b00-0c89-a88f-a724-0f8d.static.ipv6.internode.on.net. [2001:44b8:31ae:7b00:c89:a88f:a724:f8d]) by mx.google.com with ESMTPSA id fn4sm77215217pab.29.2014.08.25.04.11.23 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 25 Aug 2014 04:11:24 -0700 (PDT) Sender: Kubilay Kocak Message-ID: <53FB19D6.5040102@FreeBSD.org> Date: Mon, 25 Aug 2014 21:11:18 +1000 From: Kubilay Kocak Reply-To: koobs@FreeBSD.org User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:32.0) Gecko/20100101 Thunderbird/32.0 MIME-Version: 1.0 To: Vsevolod Stakhov , 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> <53FA1A21.7060807@FreeBSD.org> In-Reply-To: <53FA1A21.7060807@FreeBSD.org> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.18-1 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: Mon, 25 Aug 2014 11:11:28 -0000 On 25/08/2014 3:00 AM, Vsevolod Stakhov wrote: > 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. > Done! http://svnweb.freebsd.org/changeset/ports/366063 Thanks, Koobs