abc-devel-1.01-9.hg20160905.fc28.riscv64.rpm | RPM Info

Information for RPM abc-devel-1.01-9.hg20160905.fc28.riscv64.rpm

24081

Name

abc-devel

Version

1.01

Release

9.hg20160905.fc28

Epoch

Arch

riscv64

Summary

Headers and libraries for developing with ABC

Description

Headers and libraries for developing applications that use ABC.

Build Time

2018-02-18 07:19:52 GMT

Size

364.96 KB

SIGMD5

68ff69027b4a5005af09e5f70843fedd

License

MIT

Provides

abc-devel = 1.01-9.hg20160905.fc28

abc-devel(riscv-64) = 1.01-9.hg20160905.fc28

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

abc-libs(riscv-64) = 1.01-9.hg20160905.fc28

libabc.so.0()(64bit)

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

Name	Size
Page: 1 through 50 of 307 >>>
/usr/lib64/libabc.so	11.00 B
/usr/include/abc/sat/psat/m114p_types.h	210.00 B
/usr/include/abc/sat/psat/m114p.h	2.01 KB
/usr/include/abc/sat/psat	0.00 B
/usr/include/abc/sat/proof/pr.h	2.08 KB
/usr/include/abc/sat/proof	0.00 B
/usr/include/abc/sat/msat/msatInt.h	15.69 KB
/usr/include/abc/sat/msat/msat.h	9.08 KB
/usr/include/abc/sat/msat	0.00 B
/usr/include/abc/sat/lsat/solver.h	5.23 KB
/usr/include/abc/sat/lsat	0.00 B
/usr/include/abc/sat/csat/csat_apis.h	7.83 KB
/usr/include/abc/sat/csat	0.00 B
/usr/include/abc/sat/cnf/cnf.h	10.13 KB
/usr/include/abc/sat/cnf	0.00 B
/usr/include/abc/sat/bsat/satVec.h	5.52 KB
/usr/include/abc/sat/bsat/satTruth.h	5.00 KB
/usr/include/abc/sat/bsat/satStore.h	6.50 KB
/usr/include/abc/sat/bsat/satSolver2.h	15.01 KB
/usr/include/abc/sat/bsat/satSolver.h	21.15 KB
/usr/include/abc/sat/bsat/satProof2.h	9.89 KB
/usr/include/abc/sat/bsat/satMem.h	3.54 KB
/usr/include/abc/sat/bsat/satClause.h	18.47 KB
/usr/include/abc/sat/bsat	0.00 B
/usr/include/abc/sat/bmc/bmc.h	9.08 KB
/usr/include/abc/sat/bmc	0.00 B
/usr/include/abc/sat	0.00 B
/usr/include/abc/proof/ssw/sswInt.h	17.03 KB
/usr/include/abc/proof/ssw/ssw.h	8.78 KB
/usr/include/abc/proof/ssw	0.00 B
/usr/include/abc/proof/ssc/sscInt.h	6.46 KB
/usr/include/abc/proof/ssc/ssc.h	2.80 KB
/usr/include/abc/proof/ssc	0.00 B
/usr/include/abc/proof/pdr/pdrInt.h	10.08 KB
/usr/include/abc/proof/pdr/pdr.h	4.25 KB
/usr/include/abc/proof/pdr	0.00 B
/usr/include/abc/proof/int2/int2Int.h	5.97 KB
/usr/include/abc/proof/int2/int2.h	3.21 KB
/usr/include/abc/proof/int2	0.00 B
/usr/include/abc/proof/int/intInt.h	5.68 KB
/usr/include/abc/proof/int/int.h	3.57 KB
/usr/include/abc/proof/int	0.00 B
/usr/include/abc/proof/fraig/fraigInt.h	25.33 KB
/usr/include/abc/proof/fraig/fraig.h	15.05 KB
/usr/include/abc/proof/fraig	0.00 B
/usr/include/abc/proof/fra/fra.h	22.95 KB
/usr/include/abc/proof/fra	0.00 B
/usr/include/abc/proof/dch/dchInt.h	7.99 KB
/usr/include/abc/proof/dch/dch.h	3.64 KB
/usr/include/abc/proof/dch	0.00 B

Component of

No Buildroots

Main Site Links:

Information for RPM abc-devel-1.01-9.hg20160905.fc28.riscv64.rpm