Package: libsolv-demo

"libsolv-demo" package binaries on CentOS:

/usr/bin/solv

You may install this package on CentOS with yum install libsolv-demo