Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Sat, 29 Jun 2024 12:11:59 UTC |
login
Information for RPM
yices-doc-2.6.1-3.fc31.riscv64.rpm
ID
442303
Name
yices-doc
Version
2.6.1
Release
3.fc31
Epoch
Arch
riscv64
Summary
Documentation for yices
Description
This package contains yices documentation.
Build Time
2019-08-04 01:59:01 GMT
Size
1.06 MB
SIGMD5
4ad929500b2a9a63d3859fc65ea4ce00
License
GPLv3+
Buildroot
f31-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:
1
2
3
4
5
6
7
8
1 through 50 of 359
>>>
Name
Size
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis9.ys
2.86 MB
/usr/share/doc/yices-doc/examples/willet/prop_fast_400.yices
1.12 MB
/usr/share/doc/yices-doc/examples/willet/prop_orig_400.yices
1.12 MB
/usr/share/doc/yices-doc/examples/ashish-full1.tx2.txt
857.25 KB
/usr/share/doc/yices-doc/examples/ashish-full.txt
854.22 KB
/usr/share/doc/yices-doc/examples/ashish-full1.txt
850.41 KB
/usr/share/doc/yices-doc/examples/shewanellaMILPtest.txt
765.16 KB
/usr/share/doc/yices-doc/examples/problem_with_input.ys
686.77 KB
/usr/share/doc/yices-doc/examples/shewanellaMILPtest.lp
597.13 KB
/usr/share/doc/yices-doc/examples/wd/prp-24-47.smt2
382.20 KB
/usr/share/doc/yices-doc/manual.pdf
361.77 KB
/usr/share/doc/yices-doc/examples/adria/test2.ys
337.27 KB
/usr/share/doc/yices-doc/examples/adria/test-eval.ys
336.96 KB
/usr/share/doc/yices-doc/examples/adria/test.ys
336.80 KB
/usr/share/doc/yices-doc/examples/adria/test-show-model.ys
336.74 KB
/usr/share/doc/yices-doc/examples/dioph-hard.txt
333.84 KB
/usr/share/doc/yices-doc/examples/adria/example_ALU_add_sub_rewritten.smt2
320.79 KB
/usr/share/doc/yices-doc/examples/adria/example_ALU_add_sub_rewritten.ys
318.43 KB
/usr/share/doc/yices-doc/examples/adria/test3.ys
280.49 KB
/usr/share/doc/yices-doc/examples/wd/opt1217--27var.smt
264.55 KB
/usr/share/doc/yices-doc/examples/wd/opt1217--27.smt
263.81 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.smt2
235.74 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.smt2
235.57 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.smt2
234.82 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.smt2
234.52 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.ys
233.39 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.ys
233.20 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.ys
232.45 KB
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.ys
232.17 KB
/usr/share/doc/yices-doc/examples/adria/ef_ALU_add_sub.ys
231.73 KB
/usr/share/doc/yices-doc/examples/wd/opt1217--27.smt2
218.65 KB
/usr/share/doc/yices-doc/examples/wd/opt1217--27var.smt2
218.65 KB
/usr/share/doc/yices-doc/examples/adria/example_find_ALU_add_conditions.smt2
212.17 KB
/usr/share/doc/yices-doc/examples/adria/example_find_ALU_add_conditions.ys
210.07 KB
/usr/share/doc/yices-doc/examples/shewanella-compact.txt
127.05 KB
/usr/share/doc/yices-doc/examples/wd/c10bid_i_succ.smt2
123.69 KB
/usr/share/doc/yices-doc/examples/wd/c10bid_i.smt2
123.64 KB
/usr/share/doc/yices-doc/examples/wd/c10bid_i_succ_unint.smt2
123.56 KB
/usr/share/doc/yices-doc/examples/shewanella-compact2.txt
114.10 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/max_sat.ys
96.04 KB
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis8.ys
95.90 KB
/usr/share/doc/yices-doc/examples/adria/example_1_implication.smt2
94.01 KB
/usr/share/doc/yices-doc/examples/frugal1000.smt
91.39 KB
/usr/share/doc/yices-doc/examples/adria/example_1_implication.ys
91.00 KB
/usr/share/doc/yices-doc/examples/adria/example_1_implication_forall_turned_into_exist.smt2
89.23 KB
/usr/share/doc/yices-doc/examples/adria/example_1_implication_forall_turned_into_exist.ys
88.59 KB
/usr/share/doc/yices-doc/examples/frugal1000.ys
83.57 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/average_sat.ys
77.72 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/nexthighersame1_sat.ys
69.90 KB
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench/rightmost1sOff_sat.ys
58.20 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.