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

[Kubilay Kocak]

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