yices-doc-2.6.1-3.fc31.riscv64.rpm | RPM Info

Information for RPM yices-doc-2.6.1-3.fc31.riscv64.rpm

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

Name	Size
Page: <<< 51 through 100 of 359 >>>
/usr/share/doc/yices-doc/examples/bv_cycle3.smt	251.00 B
/usr/share/doc/yices-doc/examples/bv_mix.ys	532.00 B
/usr/share/doc/yices-doc/examples/bv_mul10.ys	204.00 B
/usr/share/doc/yices-doc/examples/bv_mul15.ys	204.00 B
/usr/share/doc/yices-doc/examples/bv_mul20.ys	204.00 B
/usr/share/doc/yices-doc/examples/bv_neg20.ys	114.00 B
/usr/share/doc/yices-doc/examples/bv_neg20_bool.ys	13.84 KB
/usr/share/doc/yices-doc/examples/bv_not20.ys	114.00 B
/usr/share/doc/yices-doc/examples/bv_not4.ys	112.00 B
/usr/share/doc/yices-doc/examples/bv_pprod1.smt	187.00 B
/usr/share/doc/yices-doc/examples/bv_pprod2.smt	169.00 B
/usr/share/doc/yices-doc/examples/bv_pprod3.smt	199.00 B
/usr/share/doc/yices-doc/examples/bv_test.ys	226.00 B
/usr/share/doc/yices-doc/examples/bv_test1.ys	267.00 B
/usr/share/doc/yices-doc/examples/bv_test2.ys	287.00 B
/usr/share/doc/yices-doc/examples/data1.txt	1.65 KB
/usr/share/doc/yices-doc/examples/data2.txt	8.11 KB
/usr/share/doc/yices-doc/examples/dioph-crt1.txt	174.00 B
/usr/share/doc/yices-doc/examples/dioph-crt1.ys	196.00 B
/usr/share/doc/yices-doc/examples/dioph-crt2.txt	175.00 B
/usr/share/doc/yices-doc/examples/dioph-empty.txt	6.00 B
/usr/share/doc/yices-doc/examples/dioph-example.txt	208.00 B
/usr/share/doc/yices-doc/examples/dioph-example2.txt	268.00 B
/usr/share/doc/yices-doc/examples/dioph-example3.txt	123.00 B
/usr/share/doc/yices-doc/examples/dioph-hard.txt	333.84 KB
/usr/share/doc/yices-doc/examples/dioph-rosser.txt	457.00 B
/usr/share/doc/yices-doc/examples/dioph-unsat1.txt	165.00 B
/usr/share/doc/yices-doc/examples/dioph-unsat2.txt	165.00 B
/usr/share/doc/yices-doc/examples/dioph-unsat3.txt	165.00 B
/usr/share/doc/yices-doc/examples/div_axiom1.smt2	162.00 B
/usr/share/doc/yices-doc/examples/div_axiom2.smt2	98.00 B
/usr/share/doc/yices-doc/examples/div_axiom3.smt2	105.00 B
/usr/share/doc/yices-doc/examples/div_axiom4.smt2	218.00 B
/usr/share/doc/yices-doc/examples/div_axiom5.smt2	117.00 B
/usr/share/doc/yices-doc/examples/div_axiom6.smt2	120.00 B
/usr/share/doc/yices-doc/examples/div_test1.smt2	128.00 B
/usr/share/doc/yices-doc/examples/div_test2.smt2	132.00 B
/usr/share/doc/yices-doc/examples/div_test3.smt2	148.00 B
/usr/share/doc/yices-doc/examples/div_test4.smt2	140.00 B
/usr/share/doc/yices-doc/examples/div_test5.smt2	143.00 B
/usr/share/doc/yices-doc/examples/div_test6.smt2	163.00 B
/usr/share/doc/yices-doc/examples/divides_test1.smt2	151.00 B
/usr/share/doc/yices-doc/examples/divides_test2.smt2	168.00 B
/usr/share/doc/yices-doc/examples/divides_test3.smt2	185.00 B
/usr/share/doc/yices-doc/examples/divides_test4.smt2	185.00 B
/usr/share/doc/yices-doc/examples/divides_test5.smt2	172.00 B
/usr/share/doc/yices-doc/examples/divides_test6.smt2	180.00 B
/usr/share/doc/yices-doc/examples/ef-tests	0.00 B
/usr/share/doc/yices-doc/examples/ef-tests/presburger	0.00 B
/usr/share/doc/yices-doc/examples/ef-tests/presburger/Makefile	1023.00 B

Component of

No Buildroots

Main Site Links:

Information for RPM yices-doc-2.6.1-3.fc31.riscv64.rpm