New comment by hazen2215 on void-packages repository

https://github.com/void-linux/void-packages/pull/44680#issuecomment-1615439607

Comment:
Arch, freebsd, gentoo, nix, opensuse use either https://github.com/msoos/minisat or https://github.com/stp/minisat (more up-to-date) which are maintained by same person.
They are identical at version 2.2.1, except minisat/utils/System.cc (stp/minisat seems more correct)