Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: breakid | Distribution: Fedora Project |
Version: 3.1.2 | Vendor: Fedora Project |
Release: 2.fc41 | Build date: Thu Mar 21 18:22:09 2024 |
Group: Unspecified | Build host: buildhw-x86-02.iad2.fedoraproject.org |
Size: 283655 | Source RPM: breakid-3.1.2-2.fc41.src.rpm |
Packager: Fedora Project | |
Url: https://github.com/meelgroup/breakid | |
Summary: Symmetry detecting and breaking library |
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.
MIT
* Thu Mar 21 2024 Jerry James <loganjerry@gmail.com> - 3.1.2-2 - Stop building for 32-bit x86 - Improve man page description * Wed Jan 31 2024 Jerry James <loganjerry@gmail.com> - 3.1.2-1 - Initial RPM
/usr/bin/breakid /usr/lib/.build-id /usr/lib/.build-id/48 /usr/lib/.build-id/48/7e1e018a316d8b5913f023e7a96a64ca0daf8b /usr/lib/.build-id/b1 /usr/lib/.build-id/b1/6a3b1e8969f76cab97671e8b6981945d277ce8 /usr/lib64/libbreakid.so.3.1 /usr/share/doc/breakid /usr/share/doc/breakid/README.md /usr/share/licenses/breakid /usr/share/licenses/breakid/LICENSE /usr/share/man/man1/breakid.1.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu May 2 00:07:47 2024