abc-devel-1.01-35.git20220731.fc37.riscv64.rpm | RPM Info

Information for RPM abc-devel-1.01-35.git20220731.fc37.riscv64.rpm

873327

Name

abc-devel

Version

1.01

Release

35.git20220731.fc37

Epoch

Arch

riscv64

Summary

Headers and libraries for developing with ABC

Description

Headers and libraries for developing applications that use ABC.

Build Time

2022-11-07 12:34:56 GMT

Size

428.57 KB

SIGMD5

3dbc2bd7b7be995ab0cf5d99f6f443b0

License

MIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause

Buildroot

f37-build-667830-74609

Provides

abc-devel = 1.01-35.git20220731.fc37

abc-devel(riscv-64) = 1.01-35.git20220731.fc37

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

abc-libs(riscv-64) = 1.01-35.git20220731.fc37

libabc.so.0()(64bit)

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 422 >>>
/usr/include/abc/map/amap/amapInt.h	19.33 KB
/usr/include/abc/sat/bsat/satClause.h	18.22 KB
/usr/include/abc/sat/glucose2/CGlucoseCore.h	18.00 KB
/usr/include/abc/misc/vec/vecHsh.h	17.88 KB
/usr/include/abc/proof/ssw/sswInt.h	17.03 KB
/usr/include/abc/map/if/ifCount.h	16.67 KB
/usr/include/abc/sat/glucose2/SolverTypes.h	16.40 KB
/usr/include/abc/sat/glucose/SolverTypes.h	16.20 KB
/usr/include/abc/misc/vec/vecBit.h	15.95 KB
/usr/include/abc/sat/msat/msatInt.h	15.69 KB
/usr/include/abc/map/scl/sclCon.h	15.59 KB
/usr/include/abc/proof/fraig/fraig.h	15.05 KB
/usr/include/abc/sat/bsat/satSolver2.h	15.00 KB
/usr/include/abc/opt/sfm/sfmInt.h	14.79 KB
/usr/include/abc/sat/bsat2/SolverTypes.h	14.76 KB
/usr/include/abc/map/mio/mio.h	14.76 KB
/usr/include/abc/map/mpm/mpmInt.h	14.76 KB
/usr/include/abc/base/bac/bacPrs.h	13.93 KB
/usr/include/abc/misc/vec/vecMem.h	13.74 KB
/usr/include/abc/misc/bbl/bblif.h	13.57 KB
/usr/include/abc/aig/saig/saig.h	13.03 KB
/usr/include/abc/map/mio/exp.h	12.52 KB
/usr/include/abc/proof/pdr/pdrInt.h	12.34 KB
/usr/include/abc/proof/cec/cecInt.h	12.18 KB
/usr/include/abc/proof/cec/cec.h	12.06 KB
/usr/include/abc/sat/glucose2/Options.h	11.97 KB
/usr/include/abc/sat/glucose/Options.h	11.97 KB
/usr/include/abc/opt/lpk/lpkInt.h	11.90 KB
/usr/include/abc/sat/bsat2/Options.h	11.85 KB
/usr/include/abc/bdd/llb/llbInt.h	11.59 KB
/usr/include/abc/aig/ivy/attr.h	11.50 KB
/usr/include/abc/aig/miniaig/minilut.h	11.49 KB
/usr/include/abc/base/pla/pla.h	11.46 KB
/usr/include/abc/sat/bmc/bmc.h	10.94 KB
/usr/include/abc/opt/sim/sim.h	10.84 KB
/usr/include/abc/map/mapper/mapper.h	10.76 KB
/usr/include/abc/misc/vec/vecSet.h	10.76 KB
/usr/include/abc/sat/glucose2/SimpSolver.h	10.72 KB
/usr/include/abc/proof/abs/abs.h	10.63 KB
/usr/include/abc/bdd/reo/reo.h	10.46 KB
/usr/include/abc/aig/miniaig/abcOper.h	10.44 KB
/usr/include/abc/sat/cnf/cnf.h	10.25 KB
/usr/include/abc/misc/vec/vecQue.h	10.08 KB
/usr/include/abc/bool/kit/cloud.h	10.05 KB
/usr/include/abc/map/scl/sclTime.h	9.90 KB
/usr/include/abc/sat/glucose/SimpSolver.h	9.87 KB
/usr/include/abc/misc/tim/tim.h	9.77 KB
/usr/include/abc/sat/bsat/satProof2.h	9.62 KB
/usr/include/abc/sat/bsat2/SimpSolver.h	9.49 KB
/usr/include/abc/base/io/ioAbc.h	9.30 KB

Component of

No Buildroots

Main Site Links:

Information for RPM abc-devel-1.01-35.git20220731.fc37.riscv64.rpm