svn commit: r365711 - in head/devel: . picosat

[Vsevolod Stakhov]

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