Information for RPM breakid-3.1.2-2.fc40.src.rpm
| ID | 79419 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | breakid-3.1.2-2.fc40 | ||||||||||||
| Name | breakid | ||||||||||||
| Version | 3.1.2 | ||||||||||||
| Release | 2.fc40 | ||||||||||||
| 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 | 2024-05-02 16:20:16 GMT | ||||||||||||
| Size | 191.12 KB | ||||||||||||
| 7667835f28da3dabd5ba99d7cda9e1b1 | |||||||||||||
| License | MIT | ||||||||||||
| Buildroot | f40-build-58068-3333 | ||||||||||||
| Provides |
|
||||||||||||
| Obsoletes | No Obsoletes | ||||||||||||
| Conflicts | No Conflicts | ||||||||||||
| Requires |
|
||||||||||||
| Recommends | No Recommends | ||||||||||||
| Suggests | No Suggests | ||||||||||||
| Supplements | No Supplements | ||||||||||||
| Enhances | No Enhances | ||||||||||||
| Files |
|
||||||||||||
| Component of | No Buildroots | ||||||||||||
