4 ms·
one more, FreeBSD's pkg uses picosat - https://github.com/freebsd/pkg/tree/master/external/picosat https://github.com/freebsd/pkg/tree/master/external/picosat
by mtve 10y ago
one more, FreeBSD's pkg uses picosat - https://github.com/freebsd/pkg/tree/master/external/picosat https://github.com/freebsd/pkg/tree/master/external/picosat