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