Fri, 21 Jun 2024 20:29:51 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:
<<< 151 through 200 of 359 >>>
Name ascending sort Size
/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.ys91.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.exists.smt2170.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.mixed.smt2170.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.smt2174.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.ys93.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.exists.smt2171.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.mixed.smt2186.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.smt2190.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.ys107.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.exists.smt2191.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.mixed.smt2206.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.smt2214.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.ys126.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.exists.smt2176.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.mixed.smt2191.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.smt2199.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.ys113.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.exists.smt2215.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.mixed.smt2245.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.smt2250.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.ys160.00 B
/usr/share/doc/yices-doc/examples/example1.c4.42 KB
/usr/share/doc/yices-doc/examples/example1b.c4.61 KB
/usr/share/doc/yices-doc/examples/example1c.c4.63 KB
/usr/share/doc/yices-doc/examples/example2.c2.88 KB
/usr/share/doc/yices-doc/examples/example_mcsat.c3.71 KB
/usr/share/doc/yices-doc/examples/example_unsat_core.c4.18 KB
/usr/share/doc/yices-doc/examples/floor_axiom.smt2141.00 B
/usr/share/doc/yices-doc/examples/floor_axiom2.smt296.00 B
/usr/share/doc/yices-doc/examples/floor_axiom3.smt297.00 B
/usr/share/doc/yices-doc/examples/floor_axiom4.smt289.00 B
/usr/share/doc/yices-doc/examples/floor_axiom5.smt282.00 B
/usr/share/doc/yices-doc/examples/floor_test1.smt2129.00 B
/usr/share/doc/yices-doc/examples/floor_test2.smt2129.00 B
/usr/share/doc/yices-doc/examples/floor_test3.smt2144.00 B
/usr/share/doc/yices-doc/examples/formula_bv32.ys217.94 KB
/usr/share/doc/yices-doc/examples/frugal10.smt1.04 KB
/usr/share/doc/yices-doc/examples/frugal10.ys975.00 B
/usr/share/doc/yices-doc/examples/frugal100.smt8.77 KB
/usr/share/doc/yices-doc/examples/frugal100.ys7.98 KB
/usr/share/doc/yices-doc/examples/frugal1000.smt91.39 KB
/usr/share/doc/yices-doc/examples/frugal1000.ys83.57 KB
/usr/share/doc/yices-doc/examples/frugal10a.smt1.11 KB
/usr/share/doc/yices-doc/examples/frugal10a.ys1.02 KB
/usr/share/doc/yices-doc/examples/frugal10bool.ys1.09 KB
/usr/share/doc/yices-doc/examples/frugal200.smt17.95 KB
/usr/share/doc/yices-doc/examples/frugal200.ys16.38 KB
/usr/share/doc/yices-doc/examples/frugal300.smt27.13 KB
/usr/share/doc/yices-doc/examples/frugal300.ys24.78 KB
/usr/share/doc/yices-doc/examples/frugal500.smt45.49 KB
Component of No Buildroots