one more, FreeBSD's pkg uses picosat - https://github.com/freebsd/pkg/tree/master/external/picosat