yices-doc-2.6.1-3.fc31.x86_64.rpm


Advertisement

Description

yices-doc - Documentation for yices

Property Value
Distribution Fedora 31
Repository Fedora x86_64
Package filename yices-doc-2.6.1-3.fc31.x86_64.rpm
Package name yices-doc
Package version 2.6.1
Package release 3.fc31
Package architecture x86_64
Package type rpm
Homepage http://yices.csl.sri.com/
License GPLv3+
Maintainer -
Download size 1.06 MB
Installed size 18.96 MB
This package contains yices documentation.

Alternatives

Package Version Architecture Repository
yices-doc - - -

Provides

Name Value
yices-doc = 2.6.1-3.fc31
yices-doc(x86-64) = 2.6.1-3.fc31

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package yices-doc-2.6.1-3.fc31.x86_64.rpm
Source Package yices-2.6.1-3.fc31.src.rpm

Install Howto

Install yices-doc rpm package:

# dnf install yices-doc

Files

Path
/usr/share/doc/yices-doc/manual.pdf
/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/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/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/example_unsat_core.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/out_of_mem_example.cpp
/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/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/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/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/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/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/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/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/prop_fast_400.yices
/usr/share/doc/yices-doc/examples/willet/prop_orig_400.yices
/usr/share/licenses/yices-doc/LICENSE.txt

Changelog

2019-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
2019-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2018-10-30 - Jerry James <loganjerry@gmail.com> - 2.6.1-1
- New upstream version
2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-04 - Jerry James <loganjerry@gmail.com> - 2.6.0-1
- New upstream version
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 2.5.4-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-01-02 - Jerry James <loganjerry@gmail.com> - 2.5.4-2
- Add a -doc subpackage
- Fix end of line encodings
- Fix permissions on yices_debug_version.c
2018-01-01 - Jerry James <loganjerry@gmail.com> - 2.5.4-1
- Initial RPM

See Also

Package Description
yices-tools-2.6.1-3.fc31.x86_64.rpm Command line tools that use the yices library
ykclient-2.15-9.fc31.i686.rpm Yubikey management library and client
ykclient-2.15-9.fc31.x86_64.rpm Yubikey management library and client
ykclient-devel-2.15-9.fc31.i686.rpm Development headers and libraries for ykclient
ykclient-devel-2.15-9.fc31.x86_64.rpm Development headers and libraries for ykclient
ykpers-1.20.0-3.fc31.i686.rpm Yubikey personalization program
ykpers-1.20.0-3.fc31.x86_64.rpm Yubikey personalization program
ykpers-devel-1.20.0-3.fc31.i686.rpm Development files for ykpers
ykpers-devel-1.20.0-3.fc31.x86_64.rpm Development files for ykpers
ykushcmd-1.1.0-6.c585d24.fc31.x86_64.rpm YKUSH Boards Control Application
yokadi-1.1.1-9.fc31.noarch.rpm Command line oriented todo list system
yoshimi-1.5.10-3.fc30.x86_64.rpm Rewrite of ZynAddSubFx aiming for better JACK support
yosys-0.9-1.fc31.i686.rpm Yosys Open SYnthesis Suite, including Verilog synthesizer
yosys-0.9-1.fc31.x86_64.rpm Yosys Open SYnthesis Suite, including Verilog synthesizer
yosys-devel-0.9-1.fc31.i686.rpm Development files to build Yosys synthesizer plugins
Advertisement
Advertisement