Optimising generated rules for SAT solving (5/12 are duplicates)

Hans Petter Selasky hps at selasky.org
Wed Nov 23 14:28:04 UTC 2016

Previous message (by thread): fatal: Fssh_packet_write_poll: Connection from xxx.xxx.xx.xx port yyyyy: Permission denied
Next message (by thread): Optimising generated rules for SAT solving (5/12 are duplicates)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

FYI

I've made a patch to hopefully optimise SAT solving in our pkg utility.

https://github.com/freebsd/pkg/issues/1505

--HPS

Previous message (by thread): fatal: Fssh_packet_write_poll: Connection from xxx.xxx.xx.xx port yyyyy: Permission denied
Next message (by thread): Optimising generated rules for SAT solving (5/12 are duplicates)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the freebsd-current mailing list