Wed, 03 Jul 2024 15:45:27 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:
<<< 101 through 150 of 359 >>>
Name Size descending sort
/usr/share/doc/yices-doc/examples/queen6.ys3.21 KB
/usr/share/doc/yices-doc/examples/scenario4.ys2.96 KB
/usr/share/doc/yices-doc/examples/example2.c2.88 KB
/usr/share/doc/yices-doc/examples/test_pp.c2.24 KB
/usr/share/doc/yices-doc/examples/scenario3.ys2.04 KB
/usr/share/doc/yices-doc/examples/data1.txt1.65 KB
/usr/share/doc/yices-doc/examples/out_of_mem_example.cpp1.54 KB
/usr/share/doc/yices-doc/examples/scenario2.ys1.26 KB
/usr/share/doc/yices-doc/examples/ef-tests/presburger/Makefile.all1.22 KB
/usr/share/doc/yices-doc/examples/frugal10a.smt1.11 KB
/usr/share/doc/yices-doc/examples/babic2-bool.ys1.10 KB
/usr/share/doc/yices-doc/examples/frugal10bool.ys1.09 KB
/usr/share/doc/yices-doc/examples/frugal10.smt1.04 KB
/usr/share/doc/yices-doc/examples/patrick/lyapunov4.ys1.04 KB
/usr/share/doc/yices-doc/examples/minimal.c1.03 KB
/usr/share/doc/yices-doc/examples/ef-tests/test11.sat.smt21.03 KB
/usr/share/doc/yices-doc/examples/ef-tests/test11.sat.exists.smt21.03 KB
/usr/share/doc/yices-doc/examples/ef-tests/test11.sat.mixed.smt21.03 KB
/usr/share/doc/yices-doc/examples/frugal10a.ys1.02 KB
/usr/share/doc/yices-doc/examples/junghee_lim.ys1.01 KB
/usr/share/doc/yices-doc/examples/junghee_lim2.ys1.01 KB
/usr/share/doc/yices-doc/examples/ef-tests/presburger/Makefile1023.00 B
/usr/share/doc/yices-doc/examples/frugal10.ys975.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test11c.sat.smt2934.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test11c.sat.exists.smt2931.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test11c.sat.mixed.smt2931.00 B
/usr/share/doc/yices-doc/examples/junghee_lim3.ys848.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test11b.sat.smt2844.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey10.txt809.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test11b.sat.mixed.smt2767.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey9.txt757.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test11.sat.ys746.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey8.txt705.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test11b.sat.exists.smt2699.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test11c.sat.ys682.00 B
/usr/share/doc/yices-doc/examples/bool_eqs4.ys669.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey7.txt653.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey6.txt600.00 B
/usr/share/doc/yices-doc/examples/patrick/cruise_control1.ys597.00 B
/usr/share/doc/yices-doc/examples/scenario1.ys550.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey5.txt548.00 B
/usr/share/doc/yices-doc/examples/bv_mix.ys532.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey4.txt496.00 B
/usr/share/doc/yices-doc/examples/sava.smt495.00 B
/usr/share/doc/yices-doc/examples/wd/aquino.ys484.00 B
/usr/share/doc/yices-doc/examples/patrick/control_block2.ys474.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test11b.sat.ys473.00 B
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_10.smt2472.00 B
/usr/share/doc/yices-doc/examples/dioph-rosser.txt457.00 B
/usr/share/doc/yices-doc/examples/sailor-monkey3.txt447.00 B
Component of No Buildroots