fedora
This site has been archived!!! Click here to visit the new openkoji buildsystem!

Information for RPM yices-doc-2.6.4-8.fc39.noarch.rpm

ID464163
Buildyices-2.6.4-8.fc39
Nameyices-doc
Version2.6.4
Release8.fc39
Epoch
Archnoarch
DraftFalse
SummaryDocumentation for yices
DescriptionThis package contains yices documentation.
Build Time2024-01-13 01:58:58 GMT
Size1.41 MB
de56a47a5569d9c2ca32ab6dc9649508
LicenseGPL-3.0-or-later AND BSD-2-Clause AND MIT AND OFL-1.1-RFN AND Knuth-CTAN AND LPPL-1.3a AND AGPL-3.0-only
Buildrootf39-build-2233042-53355
Provides
yices-doc = 2.6.4-8.fc39
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 462 >>>
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