pkg SAT_SOLVER bugs

[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 encoding and
> decoding of SAT data.
> 2) Endless variable loop caused pkg to crash.
> 3) it->inverse was checked for non-zero, while it should actually be
> checked for -1 only. SAT rules produces were all negative.
>
> How to verify:
>
> make -C /usr/ports/math/picosat all install clean
>
> env SAT_SOLVER=picosat pkg upgrade
>
> --HPS
>
>
> _______________________________________________
> freebsd-ports at freebsd.org mailing list
> https://lists.freebsd.org/mailman/listinfo/freebsd-ports
> To unsubscribe, send any mail to "freebsd-ports-unsubscribe at freebsd.org"
>

Thanks! this patch saves my day, I was stuck reinstalling a computer in 
current, and after few rounds using pkg the solver start complaining and 
pretending missing packages was yet installed.

I apply you patch on top of the last version in ports and the patch work 
as a charm. I'll keep testing it until a new version comes.

regards,
- rodrigo