Fri, 28 Jun 2024 08:46:58 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:
<<< 51 through 100 of 359 >>>
Name Size descending sort
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/max_unsat.ys54.52 KB
/usr/share/doc/yices-doc/examples/adria/example.efyices49.26 KB
/usr/share/doc/yices-doc/examples/frugal500.smt45.49 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/average_unsat.ys44.97 KB
/usr/share/doc/yices-doc/examples/ashish-assert.txt43.76 KB
/usr/share/doc/yices-doc/examples/bv_add20_bool.ys42.15 KB
/usr/share/doc/yices-doc/examples/frugal500bool.ys41.61 KB
/usr/share/doc/yices-doc/examples/frugal500.ys41.58 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/nexthighersame1_unsat.ys41.18 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/mask10s_sat.ys39.66 KB
/usr/share/licenses/yices-doc/LICENSE.txt34.32 KB
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.abstract.induct.smt233.14 KB
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.bug.induct.smt233.13 KB
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.missing.induct.smt233.08 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmost1sOff_unsat.ys32.95 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/wd/simple_startup_4nodes.synchro.base.smt224.45 KB
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.synchro.induct.smt224.42 KB
/usr/share/doc/yices-doc/examples/adria/example_distr.efyices.smt222.95 KB
/usr/share/doc/yices-doc/examples/adria/example_distr.efyices22.75 KB
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.abstract.base.smt222.74 KB
/usr/share/doc/yices-doc/examples/wd/prp-1-31.smt221.11 KB
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis7.ys20.10 KB
/usr/share/doc/yices-doc/examples/wd/c6b_succ_i.smt219.62 KB
/usr/share/doc/yices-doc/examples/wd/c6b_i.smt219.58 KB
/usr/share/doc/yices-doc/examples/wd/c6b_succ_i_unint.smt219.54 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/mask10s_unsat.ys18.70 KB
/usr/share/doc/yices-doc/examples/frugal200.smt17.95 KB
/usr/share/doc/yices-doc/examples/formula_bv32.ys217.94 KB
/usr/share/doc/yices-doc/examples/wd/prp-2-18.smt217.33 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmostOff1_sat.ys17.31 KB
/usr/share/doc/yices-doc/examples/frugal200.ys16.38 KB
/usr/share/doc/yices-doc/examples/wd/prp-5-17.smt214.30 KB
/usr/share/doc/yices-doc/examples/bv_neg20_bool.ys13.84 KB
/usr/share/doc/yices-doc/examples/jinpeng.ys10.35 KB
/usr/share/doc/yices-doc/examples/frugal100.smt8.77 KB
/usr/share/doc/yices-doc/examples/data2.txt8.11 KB
/usr/share/doc/yices-doc/examples/frugal100.ys7.98 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmostOff1_unsat.ys7.80 KB
/usr/share/doc/yices-doc/examples/wd/prp-1-22.smt27.39 KB
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis5.ys6.42 KB
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis6.ys6.11 KB
/usr/share/doc/yices-doc/examples/sudoku.ys5.57 KB
/usr/share/doc/yices-doc/examples/example1c.c4.63 KB
/usr/share/doc/yices-doc/examples/example1b.c4.61 KB
/usr/share/doc/yices-doc/examples/example1.c4.42 KB
/usr/share/doc/yices-doc/examples/names.c4.24 KB
/usr/share/doc/yices-doc/examples/example_unsat_core.c4.18 KB
/usr/share/doc/yices-doc/examples/example_mcsat.c3.71 KB
Component of No Buildroots