Re: pkg SAT_SOLVER bugs

2016-06-28 Thread Rodrigo OSORIO
On 06/28/16 00:09, Baptiste Daroussin wrote: On Mon, Jun 27, 2016 at 11:42:08PM +0200, Rodrigo OSORIO wrote: On 06/27/16 12:38, Hans Petter Selasky wrote: Hi, I found some bugs in PKG with regard to the SAT_SOLVER environment variable. Please find patch attached :-) Issues fixed: 1) No need

Re: pkg SAT_SOLVER bugs

2016-06-28 Thread Baptiste Daroussin
On Tue, Jun 28, 2016 at 05:52:32PM +0200, Hans Petter Selasky wrote: > On 06/27/16 13:55, Baptiste Daroussin wrote: > > On Mon, Jun 27, 2016 at 12:38:02PM +0200, Hans Petter Selasky wrote: > > > Hi, > > > > > > I found some bugs in PKG with regard to the SAT_SOLVER environment > > > variable. >

Re: pkg SAT_SOLVER bugs

2016-06-28 Thread Kubilay Kocak
On 27/06/2016 8:38 PM, Hans Petter Selasky wrote: > Hi, > > I found some bugs in PKG with regard to the SAT_SOLVER environment > variable. Please find patch attached :-) > > Issues fixed: > 1) No need to use hash table when generating SAT rules for external > solver. Variables are already in a

Re: pkg SAT_SOLVER bugs

2016-06-28 Thread Hans Petter Selasky
On 06/27/16 13:55, Baptiste Daroussin wrote: On Mon, Jun 27, 2016 at 12:38:02PM +0200, Hans Petter Selasky wrote: Hi, I found some bugs in PKG with regard to the SAT_SOLVER environment variable. Please find patch attached :-) Issues fixed: 1) No need to use hash table when generating SAT

Re: pkg SAT_SOLVER bugs

2016-06-27 Thread Baptiste Daroussin
On Mon, Jun 27, 2016 at 11:42:08PM +0200, Rodrigo OSORIO wrote: > On 06/27/16 12:38, Hans Petter Selasky wrote: > > Hi, > > > > I found some bugs in PKG with regard to the SAT_SOLVER environment > > variable. Please find patch attached :-) > > > > Issues fixed: > > 1) No need to use hash table

Re: pkg SAT_SOLVER bugs

2016-06-27 Thread Rodrigo OSORIO
On 06/27/16 12:38, Hans Petter Selasky wrote: Hi, I found some bugs in PKG with regard to the SAT_SOLVER environment variable. Please find patch attached :-) Issues fixed: 1) No need to use hash table when generating SAT rules for external solver. Variables are already in a linear array. Fix

Re: pkg SAT_SOLVER bugs

2016-06-27 Thread Baptiste Daroussin
On Mon, Jun 27, 2016 at 12:38:02PM +0200, Hans Petter Selasky wrote: > Hi, > > I found some bugs in PKG with regard to the SAT_SOLVER environment variable. > Please find patch attached :-) > > Issues fixed: > 1) No need to use hash table when generating SAT rules for external solver. > Variables

Re: pkg SAT_SOLVER bugs

2016-06-27 Thread Kubilay Kocak
On 27/06/2016 8:38 PM, Hans Petter Selasky wrote: > Hi, > > I found some bugs in PKG with regard to the SAT_SOLVER environment > variable. Please find patch attached :-) Nice! Can you report upstream @ https://github.com/freebsd/pkg if you haven't already > Issues fixed: > 1) No need to use

pkg SAT_SOLVER bugs

2016-06-27 Thread Hans Petter Selasky
Hi, I found some bugs in PKG with regard to the SAT_SOLVER environment variable. Please find patch attached :-) Issues fixed: 1) No need to use hash table when generating SAT rules for external solver. Variables are already in a linear array. Fix encoding and decoding of SAT data. 2)