Date: Sun, 24 Aug 2014 18:00:17 +0100 From: Vsevolod Stakhov <vsevolod@FreeBSD.org> 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 Message-ID: <53FA1A21.7060807@FreeBSD.org> In-Reply-To: <201408230630.s7N6UUTm021589@svn.freebsd.org> References: <201408230630.s7N6UUTm021589@svn.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?53FA1A21.7060807>