/usr/lib64/4ti2/bin/4ti2gmp
/usr/lib64/4ti2/bin/4ti2int32
/usr/lib64/4ti2/bin/4ti2int64
/usr/lib64/4ti2/bin/circuits
/usr/lib64/4ti2/bin/genmodel
/usr/lib64/4ti2/bin/gensymm
/usr/lib64/4ti2/bin/graver
/usr/lib64/4ti2/bin/groebner
/usr/lib64/4ti2/bin/hilbert
/usr/lib64/4ti2/bin/markov
/usr/lib64/4ti2/bin/minimize
/usr/lib64/4ti2/bin/normalform
/usr/lib64/4ti2/bin/output
/usr/lib64/4ti2/bin/ppi
/usr/lib64/4ti2/bin/qsolve
/usr/lib64/4ti2/bin/rays
/usr/lib64/4ti2/bin/walk
/usr/lib64/4ti2/bin/zbasis
/usr/lib64/4ti2/bin/zsolve
You may install this package on CentOS with
yum
install 4ti2