There's a merged pull request on the void-packages repository

picosat: split libpicosat, enable trace
https://github.com/void-linux/void-packages/pull/31789

Description:
for usage in repodb