abc-devel-1.01-16.hg20180228.fc29.riscv64.rpm | RPM Info

Information for RPM abc-devel-1.01-16.hg20180228.fc29.riscv64.rpm

139280

Name

abc-devel

Version

1.01

Release

16.hg20180228.fc29

Epoch

Arch

riscv64

Summary

Headers and libraries for developing with ABC

Description

Headers and libraries for developing applications that use ABC.

Build Time

2018-06-14 16:44:25 GMT

Size

471.12 KB

SIGMD5

6dac69d8d6de359e95d75edeaed4ba39

License

MIT

Buildroot

f29-build-11646-5274

Provides

abc-devel = 1.01-16.hg20180228.fc29

abc-devel(riscv-64) = 1.01-16.hg20180228.fc29

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

abc-libs(riscv-64) = 1.01-16.hg20180228.fc29

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: <<< 51 through 100 of 396 >>>
/usr/include/abc/sat/glucose/SimpSolver.h	10.07 KB
/usr/include/abc/sat/glucose/Queue.h	3.06 KB
/usr/include/abc/sat/glucose/ParseUtils.h	5.04 KB
/usr/include/abc/sat/glucose/Options.h	12.35 KB
/usr/include/abc/sat/glucose/Map.h	6.83 KB
/usr/include/abc/sat/glucose/IntTypes.h	1.90 KB
/usr/include/abc/sat/glucose/Heap.h	4.79 KB
/usr/include/abc/sat/glucose/Dimacs.h	3.38 KB
/usr/include/abc/sat/glucose/Constants.h	1.60 KB
/usr/include/abc/sat/glucose/BoundedQueue.h	3.86 KB
/usr/include/abc/sat/glucose/Alloc.h	4.59 KB
/usr/include/abc/sat/glucose/Alg.h	2.90 KB
/usr/include/abc/sat/glucose/AbcGlucose.h	5.12 KB
/usr/include/abc/sat/glucose	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.26 KB
/usr/include/abc/sat/cnf	0.00 B
/usr/include/abc/sat/bsat2/pstdint.h	27.19 KB
/usr/include/abc/sat/bsat2/XAlloc.h	1.88 KB
/usr/include/abc/sat/bsat2/Vec.h	5.39 KB
/usr/include/abc/sat/bsat2/System.h	2.36 KB
/usr/include/abc/sat/bsat2/Sort.h	3.20 KB
/usr/include/abc/sat/bsat2/SolverTypes.h	14.76 KB
/usr/include/abc/sat/bsat2/Solver.h	21.41 KB
/usr/include/abc/sat/bsat2/SimpSolver.h	9.49 KB
/usr/include/abc/sat/bsat2/Queue.h	2.92 KB
/usr/include/abc/sat/bsat2/ParseUtils.h	3.95 KB
/usr/include/abc/sat/bsat2/Options.h	11.85 KB
/usr/include/abc/sat/bsat2/Map.h	6.55 KB
/usr/include/abc/sat/bsat2/IntTypes.h	1.80 KB
/usr/include/abc/sat/bsat2/Heap.h	4.56 KB
/usr/include/abc/sat/bsat2/Dimacs.h	3.21 KB
/usr/include/abc/sat/bsat2/Alloc.h	4.32 KB
/usr/include/abc/sat/bsat2/Alg.h	2.75 KB
/usr/include/abc/sat/bsat2	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/satSolver3.h	22.00 KB
/usr/include/abc/sat/bsat/satSolver2.h	15.01 KB
/usr/include/abc/sat/bsat/satSolver.h	22.59 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.51 KB
/usr/include/abc/sat/bsat	0.00 B
/usr/include/abc/sat/bmc/bmc.h	10.73 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

Component of

No Buildroots

Main Site Links:

Information for RPM abc-devel-1.01-16.hg20180228.fc29.riscv64.rpm