Wed, 19 Jun 2024 21:49:10 UTC | login

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

ID273523
Nameyices-doc
Version2.6.1
Release1.fc29
Epoch
Archriscv64
SummaryDocumentation for yices
DescriptionThis package contains yices documentation.
Build Time2018-11-26 09:17:13 GMT
Size1.11 MB
002d5046452d2b39fd9046b36002988f
LicenseGPLv3+
Buildrootf29-build-33624-18303
Provides
yices-doc = 2.6.1-1.fc29
yices-doc(riscv-64) = 2.6.1-1.fc29
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:
<<< 51 through 100 of 359 >>>
Name descending sort Size
/usr/share/doc/yices-doc/examples/tst_bvsdiv5.smt260.00 B
/usr/share/doc/yices-doc/examples/tst_bvsdiv4.smt260.00 B
/usr/share/doc/yices-doc/examples/tst_bvsdiv3.smt260.00 B
/usr/share/doc/yices-doc/examples/tst_bvsdiv2.smt260.00 B
/usr/share/doc/yices-doc/examples/tst_bvsdiv12.smt265.00 B
/usr/share/doc/yices-doc/examples/tst_bvsdiv11.smt265.00 B
/usr/share/doc/yices-doc/examples/tst_bvsdiv10.smt283.00 B
/usr/share/doc/yices-doc/examples/tst_bvsdiv1.smt260.00 B
/usr/share/doc/yices-doc/examples/tst_bvmodel3.smt319.00 B
/usr/share/doc/yices-doc/examples/tst_bvmodel2.smt366.00 B
/usr/share/doc/yices-doc/examples/tst_bvmodel.smt300.00 B
/usr/share/doc/yices-doc/examples/tst_bvlt.smt95.00 B
/usr/share/doc/yices-doc/examples/trivial_rdl2.smt431.00 B
/usr/share/doc/yices-doc/examples/trivial_rdl.smt435.00 B
/usr/share/doc/yices-doc/examples/trivial_ax3.smt414.00 B
/usr/share/doc/yices-doc/examples/trivial_ax2.smt380.00 B
/usr/share/doc/yices-doc/examples/trivial_ax.smt404.00 B
/usr/share/doc/yices-doc/examples/test_pp.c2.24 KB
/usr/share/doc/yices-doc/examples/test_include5.ys71.00 B
/usr/share/doc/yices-doc/examples/test_include4.ys71.00 B
/usr/share/doc/yices-doc/examples/test_include3.ys97.00 B
/usr/share/doc/yices-doc/examples/test_include2.ys97.00 B
/usr/share/doc/yices-doc/examples/test_include1.ys165.00 B
/usr/share/doc/yices-doc/examples/test_cycles2.smt307.00 B
/usr/share/doc/yices-doc/examples/test_cycles1.smt303.00 B
/usr/share/doc/yices-doc/examples/test_bvlet.ys301.00 B
/usr/share/doc/yices-doc/examples/test-params.ys14.00 B
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmostOff1_unsat.ys7.80 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmostOff1_sat.ys17.31 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmost1sOff_unsat.ys32.95 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmost1sOff_sat.ys58.20 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/nexthighersame1_unsat.ys41.18 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/nexthighersame1_sat.ys69.90 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/max_unsat.ys54.52 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/max_sat.ys96.04 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/mask10s_unsat.ys18.70 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/mask10s_sat.ys39.66 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/average_unsat.ys44.97 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/average_sat.ys77.72 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench0.00 B
/usr/share/doc/yices-doc/examples/sudoku.ys5.57 KB
/usr/share/doc/yices-doc/examples/shewanellaMILPtest.txt765.16 KB
/usr/share/doc/yices-doc/examples/shewanellaMILPtest.lp597.13 KB
/usr/share/doc/yices-doc/examples/shewanella-compact2.txt114.10 KB
/usr/share/doc/yices-doc/examples/shewanella-compact.txt127.05 KB
/usr/share/doc/yices-doc/examples/scenario4.ys2.96 KB
/usr/share/doc/yices-doc/examples/scenario3.ys2.04 KB
/usr/share/doc/yices-doc/examples/scenario2.ys1.26 KB
/usr/share/doc/yices-doc/examples/scenario1.ys550.00 B
/usr/share/doc/yices-doc/examples/sava.smt495.00 B
Component of No Buildroots