Content of RPM vis-devel-2.4-22.6.x86_64.rpm :
/usr/include/VIS
/usr/include/VIS/abs.h
/usr/include/VIS/absInt.h
/usr/include/VIS/aiger.h
/usr/include/VIS/amc.h
/usr/include/VIS/amcInt.h
/usr/include/VIS/baig.h
/usr/include/VIS/baigInt.h
/usr/include/VIS/bmc.h
/usr/include/VIS/bmcInt.h
/usr/include/VIS/cmd.h
/usr/include/VIS/cmdInt.h
/usr/include/VIS/ctlp.h
/usr/include/VIS/ctlpInt.h
/usr/include/VIS/ctlsp.h
/usr/include/VIS/ctlspInt.h
/usr/include/VIS/eqv.h
/usr/include/VIS/eqvInt.h
/usr/include/VIS/fsm.h
/usr/include/VIS/fsmInt.h
/usr/include/VIS/grab.h
/usr/include/VIS/grabInt.h
/usr/include/VIS/hrc.h
/usr/include/VIS/hrcInt.h
/usr/include/VIS/imc.h
/usr/include/VIS/imcInt.h
/usr/include/VIS/img.h
/usr/include/VIS/imgInt.h
/usr/include/VIS/io.h
/usr/include/VIS/ioInt.h
/usr/include/VIS/ltl.h
/usr/include/VIS/ltlInt.h
/usr/include/VIS/maig.h
/usr/include/VIS/maigInt.h
/usr/include/VIS/mark.h
/usr/include/VIS/markInt.h
/usr/include/VIS/mc.h
/usr/include/VIS/mcInt.h
/usr/include/VIS/mvf.h
/usr/include/VIS/mvfInt.h
/usr/include/VIS/mvfaig.h
/usr/include/VIS/mvfaigInt.h
/usr/include/VIS/ntk.h
/usr/include/VIS/ntkInt.h
/usr/include/VIS/ntm.h
/usr/include/VIS/ntmInt.h
/usr/include/VIS/ntmaig.h
/usr/include/VIS/ntmaigInt.h
/usr/include/VIS/ord.h
/usr/include/VIS/ordInt.h
/usr/include/VIS/part.h
/usr/include/VIS/partInt.h
/usr/include/VIS/puresat.h
/usr/include/VIS/puresatInt.h
/usr/include/VIS/res.h
/usr/include/VIS/resInt.h
/usr/include/VIS/restr.h
/usr/include/VIS/restrInt.h
/usr/include/VIS/rst.h
/usr/include/VIS/rstInt.h
/usr/include/VIS/rt.h
/usr/include/VIS/rtInt.h
/usr/include/VIS/sat.h
/usr/include/VIS/satInt.h
/usr/include/VIS/sim.h
/usr/include/VIS/simInt.h
/usr/include/VIS/spfd.h
/usr/include/VIS/spfdInt.h
/usr/include/VIS/synth.h
/usr/include/VIS/synthInt.h
/usr/include/VIS/tbl.h
/usr/include/VIS/tblInt.h
/usr/include/VIS/truesim.h
/usr/include/VIS/truesimInt.h
/usr/include/VIS/tst.h
/usr/include/VIS/tstInt.h
/usr/include/VIS/var.h
/usr/include/VIS/varInt.h
/usr/include/VIS/vm.h
/usr/include/VIS/vmInt.h
/usr/lib64/libvis.a