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.
* Thu May 01 2025 Jerry James <loganjerry@gmail.com> - 3.1.3-1
- Version 3.1.3
* Wed Apr 16 2025 Jerry James <loganjerry@gmail.com> - 3.1.2-7
- Invoke cmake with LIB_SUFFIX defined
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.2-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Mon Jan 13 2025 Jerry James <loganjerry@gmail.com> - 3.1.2-5
- Move configuration steps to %conf
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.2-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 3.1.2-3
- Minor spec file simplifications
* 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
