Content of RPM yices-doc-2.5.4-3.fc28.x86_64.rpm :
/usr/share/doc/yices-doc
/usr/share/doc/yices-doc/examples
/usr/share/doc/yices-doc/examples/abs_axiom.smt2
/usr/share/doc/yices-doc/examples/abs_axiom2.smt2
/usr/share/doc/yices-doc/examples/abs_test1.smt2
/usr/share/doc/yices-doc/examples/abs_test2.smt2
/usr/share/doc/yices-doc/examples/abs_test3.smt2
/usr/share/doc/yices-doc/examples/abs_test4.smt2
/usr/share/doc/yices-doc/examples/abs_test5.smt2
/usr/share/doc/yices-doc/examples/abs_test6.smt2
/usr/share/doc/yices-doc/examples/adria
/usr/share/doc/yices-doc/examples/adria/ef_ALU_add_sub.ys
/usr/share/doc/yices-doc/examples/adria/example.efyices
/usr/share/doc/yices-doc/examples/adria/example_1_implication.smt2
/usr/share/doc/yices-doc/examples/adria/example_1_implication.ys
/usr/share/doc/yices-doc/examples/adria/example_1_implication_forall_turned_into_exist.smt2
/usr/share/doc/yices-doc/examples/adria/example_1_implication_forall_turned_into_exist.ys
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.smt2
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.ys
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.smt2
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.ys
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.smt2
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.ys
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.smt2
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.ys
/usr/share/doc/yices-doc/examples/adria/example_ALU_add_sub_rewritten.smt2
/usr/share/doc/yices-doc/examples/adria/example_ALU_add_sub_rewritten.ys
/usr/share/doc/yices-doc/examples/adria/example_distr.efyices
/usr/share/doc/yices-doc/examples/adria/example_distr.efyices.smt2
/usr/share/doc/yices-doc/examples/adria/example_find_ALU_add_conditions.smt2
/usr/share/doc/yices-doc/examples/adria/example_find_ALU_add_conditions.ys
/usr/share/doc/yices-doc/examples/adria/test-eval.ys
/usr/share/doc/yices-doc/examples/adria/test-show-model.ys
/usr/share/doc/yices-doc/examples/adria/test.ys
/usr/share/doc/yices-doc/examples/adria/test2.ys
/usr/share/doc/yices-doc/examples/adria/test3.ys
/usr/share/doc/yices-doc/examples/arith_mix.ys
/usr/share/doc/yices-doc/examples/ashish-assert.txt
/usr/share/doc/yices-doc/examples/ashish-full.txt
/usr/share/doc/yices-doc/examples/ashish-full1.tx2.txt
/usr/share/doc/yices-doc/examples/ashish-full1.txt
/usr/share/doc/yices-doc/examples/babic2-bool.ys
/usr/share/doc/yices-doc/examples/bool_eqs.ys
/usr/share/doc/yices-doc/examples/bool_eqs2.ys
/usr/share/doc/yices-doc/examples/bool_eqs3.ys
/usr/share/doc/yices-doc/examples/bool_eqs4.ys
/usr/share/doc/yices-doc/examples/bv_add20.ys
/usr/share/doc/yices-doc/examples/bv_add20_bool.ys
/usr/share/doc/yices-doc/examples/bv_cycle.smt
/usr/share/doc/yices-doc/examples/bv_cycle2.smt
/usr/share/doc/yices-doc/examples/bv_cycle3.smt
/usr/share/doc/yices-doc/examples/bv_mix.ys
/usr/share/doc/yices-doc/examples/bv_mul10.ys
/usr/share/doc/yices-doc/examples/bv_mul15.ys
/usr/share/doc/yices-doc/examples/bv_mul20.ys
/usr/share/doc/yices-doc/examples/bv_neg20.ys
/usr/share/doc/yices-doc/examples/bv_neg20_bool.ys
/usr/share/doc/yices-doc/examples/bv_not20.ys
/usr/share/doc/yices-doc/examples/bv_not4.ys
/usr/share/doc/yices-doc/examples/bv_pprod1.smt
/usr/share/doc/yices-doc/examples/bv_pprod2.smt
/usr/share/doc/yices-doc/examples/bv_pprod3.smt
/usr/share/doc/yices-doc/examples/bv_test.ys
/usr/share/doc/yices-doc/examples/bv_test1.ys
/usr/share/doc/yices-doc/examples/bv_test2.ys
/usr/share/doc/yices-doc/examples/data1.txt
/usr/share/doc/yices-doc/examples/data2.txt
/usr/share/doc/yices-doc/examples/dioph-crt1.txt
/usr/share/doc/yices-doc/examples/dioph-crt1.ys
/usr/share/doc/yices-doc/examples/dioph-crt2.txt
/usr/share/doc/yices-doc/examples/dioph-empty.txt
/usr/share/doc/yices-doc/examples/dioph-example.txt
/usr/share/doc/yices-doc/examples/dioph-example2.txt
/usr/share/doc/yices-doc/examples/dioph-example3.txt
/usr/share/doc/yices-doc/examples/dioph-hard.txt
/usr/share/doc/yices-doc/examples/dioph-rosser.txt
/usr/share/doc/yices-doc/examples/dioph-unsat1.txt
/usr/share/doc/yices-doc/examples/dioph-unsat2.txt
/usr/share/doc/yices-doc/examples/dioph-unsat3.txt
/usr/share/doc/yices-doc/examples/div_axiom1.smt2
/usr/share/doc/yices-doc/examples/div_axiom2.smt2
/usr/share/doc/yices-doc/examples/div_axiom3.smt2
/usr/share/doc/yices-doc/examples/div_axiom4.smt2
/usr/share/doc/yices-doc/examples/div_axiom5.smt2
/usr/share/doc/yices-doc/examples/div_axiom6.smt2
/usr/share/doc/yices-doc/examples/div_test1.smt2
/usr/share/doc/yices-doc/examples/div_test2.smt2
/usr/share/doc/yices-doc/examples/div_test3.smt2
/usr/share/doc/yices-doc/examples/div_test4.smt2
/usr/share/doc/yices-doc/examples/div_test5.smt2
/usr/share/doc/yices-doc/examples/div_test6.smt2
/usr/share/doc/yices-doc/examples/divides_test1.smt2
/usr/share/doc/yices-doc/examples/divides_test2.smt2
/usr/share/doc/yices-doc/examples/divides_test3.smt2
/usr/share/doc/yices-doc/examples/divides_test4.smt2
/usr/share/doc/yices-doc/examples/divides_test5.smt2
/usr/share/doc/yices-doc/examples/divides_test6.smt2
/usr/share/doc/yices-doc/examples/ef-tests
/usr/share/doc/yices-doc/examples/ef-tests/presburger
/usr/share/doc/yices-doc/examples/ef-tests/presburger/Makefile
/usr/share/doc/yices-doc/examples/ef-tests/presburger/Makefile.all
/usr/share/doc/yices-doc/examples/ef-tests/presburger/README
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_00.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_01.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_02.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_03.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_04.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_05.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_06.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_07.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_08.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_09.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_10.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_11.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_12.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_13.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_14.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_15.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_16.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test1.unsat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test1.unsat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test1.unsat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test1.unsat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test10.unsat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test10.unsat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test10.unsat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test10.unsat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test11.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test11b.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11b.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11b.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11b.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test11c.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11c.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11c.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11c.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test2.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test2.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test2.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test2.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.ys
/usr/share/doc/yices-doc/examples/example1.c
/usr/share/doc/yices-doc/examples/example1b.c
/usr/share/doc/yices-doc/examples/example1c.c
/usr/share/doc/yices-doc/examples/example2.c
/usr/share/doc/yices-doc/examples/example_mcsat.c
/usr/share/doc/yices-doc/examples/floor_axiom.smt2
/usr/share/doc/yices-doc/examples/floor_axiom2.smt2
/usr/share/doc/yices-doc/examples/floor_axiom3.smt2
/usr/share/doc/yices-doc/examples/floor_axiom4.smt2
/usr/share/doc/yices-doc/examples/floor_axiom5.smt2
/usr/share/doc/yices-doc/examples/floor_test1.smt2
/usr/share/doc/yices-doc/examples/floor_test2.smt2
/usr/share/doc/yices-doc/examples/floor_test3.smt2
/usr/share/doc/yices-doc/examples/formula_bv32.ys2
/usr/share/doc/yices-doc/examples/frugal10.smt
/usr/share/doc/yices-doc/examples/frugal10.ys
/usr/share/doc/yices-doc/examples/frugal100.smt
/usr/share/doc/yices-doc/examples/frugal100.ys
/usr/share/doc/yices-doc/examples/frugal1000.smt
/usr/share/doc/yices-doc/examples/frugal1000.ys
/usr/share/doc/yices-doc/examples/frugal10a.smt
/usr/share/doc/yices-doc/examples/frugal10a.ys
/usr/share/doc/yices-doc/examples/frugal10bool.ys
/usr/share/doc/yices-doc/examples/frugal200.smt
/usr/share/doc/yices-doc/examples/frugal200.ys
/usr/share/doc/yices-doc/examples/frugal300.smt
/usr/share/doc/yices-doc/examples/frugal300.ys
/usr/share/doc/yices-doc/examples/frugal500.smt
/usr/share/doc/yices-doc/examples/frugal500.ys
/usr/share/doc/yices-doc/examples/frugal500bool.ys
/usr/share/doc/yices-doc/examples/gacek.smt2
/usr/share/doc/yices-doc/examples/integerTest.smt
/usr/share/doc/yices-doc/examples/integerTestSimple.smt
/usr/share/doc/yices-doc/examples/is_int_test1.smt2
/usr/share/doc/yices-doc/examples/is_int_test2.smt2
/usr/share/doc/yices-doc/examples/is_int_test3.smt2
/usr/share/doc/yices-doc/examples/is_int_test4.smt2
/usr/share/doc/yices-doc/examples/jinpeng.ys
/usr/share/doc/yices-doc/examples/junghee_lim.ys
/usr/share/doc/yices-doc/examples/junghee_lim2.ys
/usr/share/doc/yices-doc/examples/junghee_lim3.ys
/usr/share/doc/yices-doc/examples/minimal.c
/usr/share/doc/yices-doc/examples/mod_axiom.smt2
/usr/share/doc/yices-doc/examples/mod_axiom2.smt2
/usr/share/doc/yices-doc/examples/mod_axiom3.smt2
/usr/share/doc/yices-doc/examples/mod_axiom4.smt2
/usr/share/doc/yices-doc/examples/mod_axiom5.smt2
/usr/share/doc/yices-doc/examples/mod_axiom6.smt2
/usr/share/doc/yices-doc/examples/mod_test1.smt2
/usr/share/doc/yices-doc/examples/mod_test2.smt2
/usr/share/doc/yices-doc/examples/mod_test3.smt2
/usr/share/doc/yices-doc/examples/mod_test4.smt2
/usr/share/doc/yices-doc/examples/names.c
/usr/share/doc/yices-doc/examples/patrick
/usr/share/doc/yices-doc/examples/patrick/control_block2.ys
/usr/share/doc/yices-doc/examples/patrick/cruise_control1.ys
/usr/share/doc/yices-doc/examples/patrick/denominator3.ys
/usr/share/doc/yices-doc/examples/patrick/lyapunov4.ys
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis5.ys
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis6.ys
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis7.ys
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis8.ys
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis9.ys
/usr/share/doc/yices-doc/examples/patrick/test_bvbv1.ys
/usr/share/doc/yices-doc/examples/patrick/test_bvbv2.ys
/usr/share/doc/yices-doc/examples/patrick/test_bvbv3.ys
/usr/share/doc/yices-doc/examples/patrick/test_lala1.ys
/usr/share/doc/yices-doc/examples/patrick/test_lala2.ys
/usr/share/doc/yices-doc/examples/patrick/test_lala3.ys
/usr/share/doc/yices-doc/examples/pr_test.ys
/usr/share/doc/yices-doc/examples/pr_test2.ys
/usr/share/doc/yices-doc/examples/pr_test3.smt
/usr/share/doc/yices-doc/examples/pr_test3.ys
/usr/share/doc/yices-doc/examples/problem_with_input.ys
/usr/share/doc/yices-doc/examples/queen6.ys
/usr/share/doc/yices-doc/examples/recursive_include.ys
/usr/share/doc/yices-doc/examples/sailor-monkey1.txt
/usr/share/doc/yices-doc/examples/sailor-monkey10.txt
/usr/share/doc/yices-doc/examples/sailor-monkey2.txt
/usr/share/doc/yices-doc/examples/sailor-monkey3.txt
/usr/share/doc/yices-doc/examples/sailor-monkey4.txt
/usr/share/doc/yices-doc/examples/sailor-monkey5.txt
/usr/share/doc/yices-doc/examples/sailor-monkey6.txt
/usr/share/doc/yices-doc/examples/sailor-monkey7.txt
/usr/share/doc/yices-doc/examples/sailor-monkey8.txt
/usr/share/doc/yices-doc/examples/sailor-monkey9.txt
/usr/share/doc/yices-doc/examples/sava.smt
/usr/share/doc/yices-doc/examples/scenario1.ys
/usr/share/doc/yices-doc/examples/scenario2.ys
/usr/share/doc/yices-doc/examples/scenario3.ys
/usr/share/doc/yices-doc/examples/scenario4.ys
/usr/share/doc/yices-doc/examples/shewanella-compact.txt
/usr/share/doc/yices-doc/examples/shewanella-compact2.txt
/usr/share/doc/yices-doc/examples/shewanellaMILPtest.lp
/usr/share/doc/yices-doc/examples/shewanellaMILPtest.txt
/usr/share/doc/yices-doc/examples/sudoku.ys
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/average_sat.ys
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/average_unsat.ys
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/mask10s_sat.ys
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/mask10s_unsat.ys
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/max_sat.ys
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/max_unsat.ys
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/nexthighersame1_sat.ys
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/nexthighersame1_unsat.ys
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmost1sOff_sat.ys
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmost1sOff_unsat.ys
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmostOff1_sat.ys
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmostOff1_unsat.ys
/usr/share/doc/yices-doc/examples/test-params.ys
/usr/share/doc/yices-doc/examples/test_bvlet.ys
/usr/share/doc/yices-doc/examples/test_cycles1.smt
/usr/share/doc/yices-doc/examples/test_cycles2.smt
/usr/share/doc/yices-doc/examples/test_include1.ys
/usr/share/doc/yices-doc/examples/test_include2.ys
/usr/share/doc/yices-doc/examples/test_include3.ys
/usr/share/doc/yices-doc/examples/test_include4.ys
/usr/share/doc/yices-doc/examples/test_include5.ys
/usr/share/doc/yices-doc/examples/test_pp.c
/usr/share/doc/yices-doc/examples/trivial_ax.smt
/usr/share/doc/yices-doc/examples/trivial_ax2.smt
/usr/share/doc/yices-doc/examples/trivial_ax3.smt
/usr/share/doc/yices-doc/examples/trivial_rdl.smt
/usr/share/doc/yices-doc/examples/trivial_rdl2.smt
/usr/share/doc/yices-doc/examples/tst_bvlt.smt
/usr/share/doc/yices-doc/examples/tst_bvmodel.smt
/usr/share/doc/yices-doc/examples/tst_bvmodel2.smt
/usr/share/doc/yices-doc/examples/tst_bvmodel3.smt
/usr/share/doc/yices-doc/examples/tst_bvsdiv1.smt
/usr/share/doc/yices-doc/examples/tst_bvsdiv10.smt
/usr/share/doc/yices-doc/examples/tst_bvsdiv11.smt
/usr/share/doc/yices-doc/examples/tst_bvsdiv12.smt
/usr/share/doc/yices-doc/examples/tst_bvsdiv2.smt
/usr/share/doc/yices-doc/examples/tst_bvsdiv3.smt
/usr/share/doc/yices-doc/examples/tst_bvsdiv4.smt
/usr/share/doc/yices-doc/examples/tst_bvsdiv5.smt
/usr/share/doc/yices-doc/examples/tst_bvsdiv6.smt
/usr/share/doc/yices-doc/examples/tst_bvsdiv7.smt
/usr/share/doc/yices-doc/examples/tst_bvsdiv8.smt
/usr/share/doc/yices-doc/examples/tst_bvsdiv9.smt
/usr/share/doc/yices-doc/examples/tst_bvudiv1.smt
/usr/share/doc/yices-doc/examples/tst_bvudiv2.smt
/usr/share/doc/yices-doc/examples/tst_bvudiv3.smt
/usr/share/doc/yices-doc/examples/tst_bvudiv4.smt
/usr/share/doc/yices-doc/examples/tst_bvudiv5.smt
/usr/share/doc/yices-doc/examples/tst_bvudiv6.smt
/usr/share/doc/yices-doc/examples/tst_bvudiv7.smt
/usr/share/doc/yices-doc/examples/tst_bvudiv8.smt
/usr/share/doc/yices-doc/examples/tst_bvuge.smt
/usr/share/doc/yices-doc/examples/tst_bvuge1.smt
/usr/share/doc/yices-doc/examples/tst_bvuge2.smt
/usr/share/doc/yices-doc/examples/tst_bvuge3.smt
/usr/share/doc/yices-doc/examples/tst_bvuge4.smt
/usr/share/doc/yices-doc/examples/tst_bvuge5.smt
/usr/share/doc/yices-doc/examples/tst_bvuge6.smt
/usr/share/doc/yices-doc/examples/tst_bvult1.smt
/usr/share/doc/yices-doc/examples/tst_bvult2.smt
/usr/share/doc/yices-doc/examples/wd
/usr/share/doc/yices-doc/examples/wd/aquino.ys
/usr/share/doc/yices-doc/examples/wd/c10bid_i.smt2
/usr/share/doc/yices-doc/examples/wd/c10bid_i_succ.smt2
/usr/share/doc/yices-doc/examples/wd/c10bid_i_succ_unint.smt2
/usr/share/doc/yices-doc/examples/wd/c6b_i.smt2
/usr/share/doc/yices-doc/examples/wd/c6b_succ_i.smt2
/usr/share/doc/yices-doc/examples/wd/c6b_succ_i_unint.smt2
/usr/share/doc/yices-doc/examples/wd/opt1217--27.smt
/usr/share/doc/yices-doc/examples/wd/opt1217--27.smt2
/usr/share/doc/yices-doc/examples/wd/opt1217--27var.smt
/usr/share/doc/yices-doc/examples/wd/opt1217--27var.smt2
/usr/share/doc/yices-doc/examples/wd/prp-1-22.smt2
/usr/share/doc/yices-doc/examples/wd/prp-1-31.smt2
/usr/share/doc/yices-doc/examples/wd/prp-2-18.smt2
/usr/share/doc/yices-doc/examples/wd/prp-24-47.smt2
/usr/share/doc/yices-doc/examples/wd/prp-5-17.smt2
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.abstract.base.smt2
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.abstract.induct.smt2
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.bug.induct.smt2
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.missing.induct.smt2
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.synchro.base.smt2
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.synchro.induct.smt2
/usr/share/doc/yices-doc/examples/willet
/usr/share/doc/yices-doc/examples/willet/prop_fast_400.yices
/usr/share/doc/yices-doc/examples/willet/prop_orig_400.yices
/usr/share/doc/yices-doc/manual.pdf
/usr/share/licenses/yices-doc
/usr/share/licenses/yices-doc/LICENSE.txt