Wed, 08 May 2024 20:10:37 UTC | login

Information for RPM yices-doc-2.6.1-3.fc31.riscv64.rpm

ID442303
Nameyices-doc
Version2.6.1
Release3.fc31
Epoch
Archriscv64
SummaryDocumentation for yices
DescriptionThis package contains yices documentation.
Build Time2019-08-04 01:59:01 GMT
Size1.06 MB
4ad929500b2a9a63d3859fc65ea4ce00
LicenseGPLv3+
Buildrootf31-build-71777-30675
Provides
yices-doc = 2.6.1-3.fc31
yices-doc(riscv-64) = 2.6.1-3.fc31
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 359 >>>
Name ascending sort Size
/usr/share/doc/yices-doc0.00 B
/usr/share/doc/yices-doc/examples0.00 B
/usr/share/doc/yices-doc/examples/abs_axiom.smt2105.00 B
/usr/share/doc/yices-doc/examples/abs_axiom2.smt2101.00 B
/usr/share/doc/yices-doc/examples/abs_test1.smt2133.00 B
/usr/share/doc/yices-doc/examples/abs_test2.smt2133.00 B
/usr/share/doc/yices-doc/examples/abs_test3.smt2114.00 B
/usr/share/doc/yices-doc/examples/abs_test4.smt278.00 B
/usr/share/doc/yices-doc/examples/abs_test5.smt2102.00 B
/usr/share/doc/yices-doc/examples/abs_test6.smt2118.00 B
/usr/share/doc/yices-doc/examples/adria0.00 B
/usr/share/doc/yices-doc/examples/adria/ef_ALU_add_sub.ys231.73 KB
/usr/share/doc/yices-doc/examples/adria/example.efyices49.26 KB
/usr/share/doc/yices-doc/examples/adria/example_1_implication.smt294.01 KB
/usr/share/doc/yices-doc/examples/adria/example_1_implication.ys91.00 KB
/usr/share/doc/yices-doc/examples/adria/example_1_implication_forall_turned_into_exist.smt289.23 KB
/usr/share/doc/yices-doc/examples/adria/example_1_implication_forall_turned_into_exist.ys88.59 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.smt2234.52 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.ys232.17 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.smt2235.57 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.ys233.20 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.smt2235.74 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.ys233.39 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.smt2234.82 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.ys232.45 KB
/usr/share/doc/yices-doc/examples/adria/example_ALU_add_sub_rewritten.smt2320.79 KB
/usr/share/doc/yices-doc/examples/adria/example_ALU_add_sub_rewritten.ys318.43 KB
/usr/share/doc/yices-doc/examples/adria/example_distr.efyices22.75 KB
/usr/share/doc/yices-doc/examples/adria/example_distr.efyices.smt222.95 KB
/usr/share/doc/yices-doc/examples/adria/example_find_ALU_add_conditions.smt2212.17 KB
/usr/share/doc/yices-doc/examples/adria/example_find_ALU_add_conditions.ys210.07 KB
/usr/share/doc/yices-doc/examples/adria/test-eval.ys336.96 KB
/usr/share/doc/yices-doc/examples/adria/test-show-model.ys336.74 KB
/usr/share/doc/yices-doc/examples/adria/test.ys336.80 KB
/usr/share/doc/yices-doc/examples/adria/test2.ys337.27 KB
/usr/share/doc/yices-doc/examples/adria/test3.ys280.49 KB
/usr/share/doc/yices-doc/examples/arith_mix.ys403.00 B
/usr/share/doc/yices-doc/examples/ashish-assert.txt43.76 KB
/usr/share/doc/yices-doc/examples/ashish-full.txt854.22 KB
/usr/share/doc/yices-doc/examples/ashish-full1.tx2.txt857.25 KB
/usr/share/doc/yices-doc/examples/ashish-full1.txt850.41 KB
/usr/share/doc/yices-doc/examples/babic2-bool.ys1.10 KB
/usr/share/doc/yices-doc/examples/bool_eqs.ys198.00 B
/usr/share/doc/yices-doc/examples/bool_eqs2.ys379.00 B
/usr/share/doc/yices-doc/examples/bool_eqs3.ys269.00 B
/usr/share/doc/yices-doc/examples/bool_eqs4.ys669.00 B
/usr/share/doc/yices-doc/examples/bv_add20.ys204.00 B
/usr/share/doc/yices-doc/examples/bv_add20_bool.ys42.15 KB
/usr/share/doc/yices-doc/examples/bv_cycle.smt112.00 B
/usr/share/doc/yices-doc/examples/bv_cycle2.smt226.00 B
Component of No Buildroots