Mon, 24 Jun 2024 06:25:01 UTC | login

Information for RPM yices-doc-2.6.1-1.fc30.riscv64.rpm

ID297086
Nameyices-doc
Version2.6.1
Release1.fc30
Epoch
Archriscv64
SummaryDocumentation for yices
DescriptionThis package contains yices documentation.
Build Time2018-12-04 21:53:51 GMT
Size1.11 MB
61cb32c3db422a77e82cad66fc5d53b0
LicenseGPLv3+
Buildrootf30-build-36039-20252
Provides
yices-doc = 2.6.1-1.fc30
yices-doc(riscv-64) = 2.6.1-1.fc30
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(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 359 >>>
Name Size descending sort
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis9.ys2.86 MB
/usr/share/doc/yices-doc/examples/willet/prop_fast_400.yices1.12 MB
/usr/share/doc/yices-doc/examples/willet/prop_orig_400.yices1.12 MB
/usr/share/doc/yices-doc/examples/ashish-full1.tx2.txt857.25 KB
/usr/share/doc/yices-doc/examples/ashish-full.txt854.22 KB
/usr/share/doc/yices-doc/examples/ashish-full1.txt850.41 KB
/usr/share/doc/yices-doc/examples/shewanellaMILPtest.txt765.16 KB
/usr/share/doc/yices-doc/examples/problem_with_input.ys686.77 KB
/usr/share/doc/yices-doc/examples/shewanellaMILPtest.lp597.13 KB
/usr/share/doc/yices-doc/examples/wd/prp-24-47.smt2382.20 KB
/usr/share/doc/yices-doc/manual.pdf361.62 KB
/usr/share/doc/yices-doc/examples/adria/test2.ys337.27 KB
/usr/share/doc/yices-doc/examples/adria/test-eval.ys336.96 KB
/usr/share/doc/yices-doc/examples/adria/test.ys336.80 KB
/usr/share/doc/yices-doc/examples/adria/test-show-model.ys336.74 KB
/usr/share/doc/yices-doc/examples/dioph-hard.txt333.84 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/test3.ys280.49 KB
/usr/share/doc/yices-doc/examples/wd/opt1217--27var.smt264.55 KB
/usr/share/doc/yices-doc/examples/wd/opt1217--27.smt263.81 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.smt2235.74 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.smt2235.57 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.smt2234.82 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.smt2234.52 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.ys233.39 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.ys233.20 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.ys232.45 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.ys232.17 KB
/usr/share/doc/yices-doc/examples/adria/ef_ALU_add_sub.ys231.73 KB
/usr/share/doc/yices-doc/examples/wd/opt1217--27.smt2218.65 KB
/usr/share/doc/yices-doc/examples/wd/opt1217--27var.smt2218.65 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/shewanella-compact.txt127.05 KB
/usr/share/doc/yices-doc/examples/wd/c10bid_i_succ.smt2123.69 KB
/usr/share/doc/yices-doc/examples/wd/c10bid_i.smt2123.64 KB
/usr/share/doc/yices-doc/examples/wd/c10bid_i_succ_unint.smt2123.56 KB
/usr/share/doc/yices-doc/examples/shewanella-compact2.txt114.10 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/max_sat.ys96.04 KB
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis8.ys95.90 KB
/usr/share/doc/yices-doc/examples/adria/example_1_implication.smt294.01 KB
/usr/share/doc/yices-doc/examples/frugal1000.smt91.39 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/frugal1000.ys83.57 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/average_sat.ys77.72 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/nexthighersame1_sat.ys69.90 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmost1sOff_sat.ys58.20 KB
Component of No Buildroots