On 06/27/16 13:55, Baptiste Daroussin wrote:
On Mon, Jun 27, 2016 at 12:38:02PM +0200, Hans Petter Selasky wrote:
I found some bugs in PKG with regard to the SAT_SOLVER environment variable.
Please find patch attached :-)
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
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
Thank you I will look into shortly
Are you handling this one or do you want me to create an issue at
github. Thank you!
firstname.lastname@example.org mailing list
To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"