Sun, 30 Jun 2024 06:23:04 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:
<<< 251 through 300 of 359 >>>
Name ascending sort Size
/usr/share/doc/yices-doc/examples/sailor-monkey10.txt809.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey2.txt400.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey3.txt447.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey4.txt496.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey5.txt548.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey6.txt600.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey7.txt653.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey8.txt705.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey9.txt757.00 B
/usr/share/doc/yices-doc/examples/sava.smt495.00 B
/usr/share/doc/yices-doc/examples/scenario1.ys550.00 B
/usr/share/doc/yices-doc/examples/scenario2.ys1.26 KB
/usr/share/doc/yices-doc/examples/scenario3.ys2.04 KB
/usr/share/doc/yices-doc/examples/scenario4.ys2.96 KB
/usr/share/doc/yices-doc/examples/shewanella-compact.txt127.05 KB
/usr/share/doc/yices-doc/examples/shewanella-compact2.txt114.10 KB
/usr/share/doc/yices-doc/examples/shewanellaMILPtest.lp597.13 KB
/usr/share/doc/yices-doc/examples/shewanellaMILPtest.txt765.16 KB
/usr/share/doc/yices-doc/examples/sudoku.ys5.57 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench0.00 B
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/average_sat.ys77.72 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/average_unsat.ys44.97 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/mask10s_sat.ys39.66 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/mask10s_unsat.ys18.70 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/max_sat.ys96.04 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/max_unsat.ys54.52 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/nexthighersame1_sat.ys69.90 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/nexthighersame1_unsat.ys41.18 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmost1sOff_sat.ys58.20 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmost1sOff_unsat.ys32.95 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmostOff1_sat.ys17.31 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmostOff1_unsat.ys7.80 KB
/usr/share/doc/yices-doc/examples/test-params.ys14.00 B
/usr/share/doc/yices-doc/examples/test_bvlet.ys301.00 B
/usr/share/doc/yices-doc/examples/test_cycles1.smt303.00 B
/usr/share/doc/yices-doc/examples/test_cycles2.smt307.00 B
/usr/share/doc/yices-doc/examples/test_include1.ys165.00 B
/usr/share/doc/yices-doc/examples/test_include2.ys97.00 B
/usr/share/doc/yices-doc/examples/test_include3.ys97.00 B
/usr/share/doc/yices-doc/examples/test_include4.ys71.00 B
/usr/share/doc/yices-doc/examples/test_include5.ys71.00 B
/usr/share/doc/yices-doc/examples/test_pp.c2.24 KB
/usr/share/doc/yices-doc/examples/trivial_ax.smt404.00 B
/usr/share/doc/yices-doc/examples/trivial_ax2.smt380.00 B
/usr/share/doc/yices-doc/examples/trivial_ax3.smt414.00 B
/usr/share/doc/yices-doc/examples/trivial_rdl.smt435.00 B
/usr/share/doc/yices-doc/examples/trivial_rdl2.smt431.00 B
/usr/share/doc/yices-doc/examples/tst_bvlt.smt95.00 B
/usr/share/doc/yices-doc/examples/tst_bvmodel.smt300.00 B
/usr/share/doc/yices-doc/examples/tst_bvmodel2.smt366.00 B
Component of No Buildroots