usr/share/man/man3/SmtEngine.3cvc
usr/share/man/man3/libcvc4parser.3
usr/share/man/man3/libcvc4.3
usr/share/man/man3/options.3cvc
usr/share/man/man3/libcvc4compat.3
usr/share/man/man5/cvc4.5
usr/bin/lfsc-checker
usr/share/cvc4/th_int.plf
usr/share/cvc4/sat.plf
usr/share/cvc4/th_arrays.plf
usr/share/cvc4/smt.plf
usr/share/cvc4/th_bv_bitblast.plf
usr/share/cvc4/th_base.plf
usr/share/cvc4/th_real.plf
usr/share/cvc4/th_bv.plf
usr/share/cvc4/th_bv_rewrites.plf
