diff --git a/azove.spec b/azove.spec index 4b705a7..e928823 100644 --- a/azove.spec +++ b/azove.spec @@ -1,6 +1,6 @@ Name: azove Version: 2.0 -Release: 32%{?dist} +Release: 25%{?dist} Summary: Another Zero-One Vertex Enumeration tool License: GPL-2.0-or-later @@ -10,15 +10,12 @@ Source0: https://people.mpi-inf.mpg.de/alumni/d1/2019/behle/%{name}-%{ver # the copyright and license of the man page is the same as the sources. Source1: %{name}2.1 # Sent upstream 2 Mar 2012: add an include that used to be implicit. -Patch: %{name}-include.patch +Patch0: %{name}-include.patch # Polymake patch to use static node allocation. Dynamic node allocation is # unreliable on newer Linux kernels. -Patch: %{name}-memory.patch +Patch1: %{name}-memory.patch # Use std::unordered_multimap instead of the deprecated __gnu_cxx::hash_multimap -Patch: %{name}-map.patch - -# See https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval -ExcludeArch: %{ix86} +Patch2: %{name}-map.patch BuildRequires: gcc-c++ BuildRequires: gmp-devel @@ -26,13 +23,13 @@ BuildRequires: make %description Azove is a tool designed for counting (without explicit enumeration) and -enumeration of 0/1 vertices. Given a polytope by a linear relaxation or facet -description `P = {x | Ax <= b}`, all 0/1 points lying in P can be counted or -enumerated. This is done by intersecting the polytope P with the -unit-hypercube `[0,1] d`. The integral vertices (no fractional ones) of this -intersection will be enumerated. If P is a 0/1 polytope, azove solves the -vertex enumeration problem. In fact it can also solve the 0/1 knapsack -problem and the 0/1 subset sum problem. +enumeration of 0/1 vertices. Given a polytope by a linear relaxation or +facet description P = {x | Ax <= b}, all 0/1 points lying in P can be +counted or enumerated. This is done by intersecting the polytope P with +the unit-hypercube [0,1] d. The integral vertices (no fractional ones) +of this intersection will be enumerated. If P is a 0/1 polytope, azove +solves the vertex enumeration problem. In fact it can also solve the +0/1 knapsack problem and the 0/1 subset sum problem. %prep %autosetup -p0 @@ -54,30 +51,6 @@ install -m 0644 -p %{SOURCE1} %{buildroot}%{_mandir}/man1 %{_mandir}/man1/%{name}2.1* %changelog -* Fri Jan 16 2026 Fedora Release Engineering - 2.0-32 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild - -* Wed Jul 23 2025 Fedora Release Engineering - 2.0-31 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild - -* Thu Jan 16 2025 Fedora Release Engineering - 2.0-30 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild - -* Wed Jul 17 2024 Fedora Release Engineering - 2.0-29 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild - -* Tue Jan 23 2024 Fedora Release Engineering - 2.0-28 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild - -* Fri Jan 19 2024 Fedora Release Engineering - 2.0-27 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild - -* Tue Jan 16 2024 Jerry James - 2.0-26 -- Stop building for 32-bit x86 - -* Wed Jul 19 2023 Fedora Release Engineering - 2.0-26 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild - * Wed Jan 18 2023 Fedora Release Engineering - 2.0-25 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild