yosyshq-abc-devel-0.39-1.20240314git0cd90d0.fc40.riscv64.rpm | RPM Info

Information for RPM yosyshq-abc-devel-0.39-1.20240314git0cd90d0.fc40.riscv64.rpm

1290565

Name

yosyshq-abc-devel

Version

0.39

Release

1.20240314git0cd90d0.fc40

Epoch

Arch

riscv64

Summary

Headers and libraries for developing with ABC

Description

Headers and libraries for developing applications that use ABC.

Build Time

2024-04-15 12:48:27 GMT

Size

444.63 KB

SIGMD5

43fdb26121b6704f89fe083f61373db1

License

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

Buildroot

f40-build-806143-144927

Provides

abc-devel = 1.01-40.0.39.1.20240314git0cd90d0.fc40

yosyshq-abc-devel = 0.39-1.20240314git0cd90d0.fc40

yosyshq-abc-devel(riscv-64) = 0.39-1.20240314git0cd90d0.fc40

Obsoletes

abc-devel < 1.01-41

Conflicts

No Conflicts

Requires

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

yosyshq-abc-libs(riscv-64) = 0.39-1.20240314git0cd90d0.fc40

Recommends

No Recommends

Suggests

No Suggests

Supplements

No Supplements

Enhances

No Enhances

Files

Name	Size
Page: <<< 51 through 100 of 425 >>>
/usr/include/abc/opt/nwk/nwk.h	19.42 KB
/usr/include/abc/map/cov/covInt.h	19.35 KB
/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/opt/sfm/sfmInt.h	15.10 KB
/usr/include/abc/proof/fraig/fraig.h	15.05 KB
/usr/include/abc/sat/bsat/satSolver2.h	15.00 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.05 KB
/usr/include/abc/proof/pdr/pdrInt.h	12.67 KB
/usr/include/abc/map/mio/exp.h	12.52 KB
/usr/include/abc/proof/cec/cec.h	12.18 KB
/usr/include/abc/proof/cec/cecInt.h	12.18 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	11.37 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/sat/cnf/cnf.h	10.55 KB
/usr/include/abc/bdd/reo/reo.h	10.46 KB
/usr/include/abc/aig/miniaig/abcOper.h	10.44 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

Component of

Buildroot	Created	State
1 through 1 of 1
f41-build-813615-148684	2024-07-11 16:30:56

Main Site Links:

Information for RPM yosyshq-abc-devel-0.39-1.20240314git0cd90d0.fc40.riscv64.rpm