Date: Mon, 25 Aug 2014 21:11:18 +1000 From: Kubilay Kocak <koobs@FreeBSD.org> To: Vsevolod Stakhov <vsevolod@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: <53FB19D6.5040102@FreeBSD.org> In-Reply-To: <53FA1A21.7060807@FreeBSD.org> References: <201408230630.s7N6UUTm021589@svn.freebsd.org> <53FA1A21.7060807@FreeBSD.org>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?53FB19D6.5040102>