There is no "picosat-devel" package for this arch yet.

See archs where picosat-devel is available.