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