breakid-3.1.3-7.fc45.src | RPM Info

Information for RPM breakid-3.1.3-7.fc45.src.rpm

19656

Build

breakid-3.1.3-7.fc45

Name

breakid

Version

3.1.3

Release

7.fc45

Epoch

Arch

src

Draft

False

Summary

Symmetry detecting and breaking library

Description

BreakID is a symmetry detecting and breaking library for SAT solvers. It is based on Jo Devriendt's BreakID code. It has been re-licensed by the original author to be MIT. All modifications by Mate Soos.

Build Time

2026-10-13 04:56:25 GMT

Size

198.26 KB

SIGMD5

ec214ec333d6bfd76c10ebde924d36d3

License

MIT AND BSL-1.0 AND GPL-2.0-only AND LGPL-3.0-only AND LicenseRef-Fedora-Public-Domain

VCS

git:https://github.com/meelgroup/breakid.git

Buildroot

f45-build-6616-349

Provides

breakid = 3.1.3-7.fc45

breakid-debuginfo = 3.1.3-7.fc45

breakid-debugsource = 3.1.3-7.fc45

breakid-devel = 3.1.3-7.fc45

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

bliss-devel

cmake

cmake(argparse)

cmake-rpm-macros

gcc-c++

help2man

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(DynamicBuildRequires) <= 4.15.0-1

rpmlib(FileDigests) <= 4.6.0-1

Recommends

No Recommends

Suggests

No Suggests

Supplements

No Supplements

Enhances

No Enhances

Files

Name	Size
1 through 4 of 4
breakid-3.1.3.tar.gz	177.67 KB
breakid-compiler-flags.patch	1.86 KB
breakid-unbundle-bliss.patch	2.17 KB
breakid.spec	4.53 KB

Component of

No Buildroots

Main Site Links:

Information for RPM breakid-3.1.3-7.fc45.src.rpm