FYI I've made a patch to hopefully optimise SAT solving in our pkg utility.
https://github.com/freebsd/pkg/issues/1505 --HPS _______________________________________________ freebsd-current@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"
