diff --git a/README.md b/README.md new file mode 100644 index 0000000..09a85d9 --- /dev/null +++ b/README.md @@ -0,0 +1,11 @@ +# azove + +[Azove](http://people.mpi-inf.mpg.de/alumni/d1/2019/behle/azove.html) 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. diff --git a/azove.rpmlintrc b/azove.rpmlintrc deleted file mode 100644 index 8354bb8..0000000 --- a/azove.rpmlintrc +++ /dev/null @@ -1,8 +0,0 @@ -# THIS FILE IS FOR WHITELISTING RPMLINT ERRORS AND WARNINGS IN TASKOTRON -# https://fedoraproject.org/wiki/Taskotron/Tasks/dist.rpmlint#Whitelisting_errors - -# The dictionary is missing some technical terms -addFilter(r'W: spelling-error .* (hypercube|polytope)') - -# The INSTALL file contains important information not available elsewhere -addFilter(r'W: install-file-in-docs /usr/share/doc/azove/INSTALL') diff --git a/azove.spec b/azove.spec index cecb273..4b705a7 100644 --- a/azove.spec +++ b/azove.spec @@ -1,47 +1,51 @@ Name: azove Version: 2.0 -Release: 19%{?dist} +Release: 32%{?dist} Summary: Another Zero-One Vertex Enumeration tool -License: GPLv2+ -URL: http://www.mpi-inf.mpg.de/~behle/azove.html -Source0: http://www.mpi-inf.mpg.de/~behle/%{name}-%{version}.tar.gz +License: GPL-2.0-or-later +URL: https://people.mpi-inf.mpg.de/alumni/d1/2019/behle/azove.html +Source0: https://people.mpi-inf.mpg.de/alumni/d1/2019/behle/%{name}-%{version}.tar.gz # Man page written by Jerry James from text found in the sources. Therefore, # 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. -Patch0: %{name}-include.patch +Patch: %{name}-include.patch # Polymake patch to use static node allocation. Dynamic node allocation is # unreliable on newer Linux kernels. -Patch1: %{name}-memory.patch +Patch: %{name}-memory.patch # Use std::unordered_multimap instead of the deprecated __gnu_cxx::hash_multimap -Patch2: %{name}-map.patch +Patch: %{name}-map.patch + +# See https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval +ExcludeArch: %{ix86} BuildRequires: gcc-c++ BuildRequires: gmp-devel +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 %build -%make_build COMPILER_FLAGS="%{optflags} $RPM_LD_FLAGS" +%make_build COMPILER_FLAGS='%{build_cflags} %{build_ldflags}' %install -mkdir -p $RPM_BUILD_ROOT%{_bindir} -install -m 0755 -p %{name}2 $RPM_BUILD_ROOT%{_bindir} +mkdir -p %{buildroot}%{_bindir} +install -m 0755 -p %{name}2 %{buildroot}%{_bindir} -mkdir -p $RPM_BUILD_ROOT%{_mandir}/man1 -install -m 0644 -p %{SOURCE1} $RPM_BUILD_ROOT%{_mandir}/man1 +mkdir -p %{buildroot}%{_mandir}/man1 +install -m 0644 -p %{SOURCE1} %{buildroot}%{_mandir}/man1 %files %doc INSTALL README @@ -50,6 +54,51 @@ install -m 0644 -p %{SOURCE1} $RPM_BUILD_ROOT%{_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 + +* Thu Aug 11 2022 Jerry James - 2.0-24 +- Convert License tag to SPDX + +* Wed Jul 20 2022 Fedora Release Engineering - 2.0-24 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild + +* Wed Jan 19 2022 Fedora Release Engineering - 2.0-23 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild + +* Wed Jul 21 2021 Fedora Release Engineering - 2.0-22 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild + +* Tue Jan 26 2021 Fedora Release Engineering - 2.0-21 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild + +* Mon Jul 27 2020 Fedora Release Engineering - 2.0-20 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild + * Wed Mar 18 2020 Jerry James - 2.0-19 - Add -memory and -map patches - Build with RPM_LD_FLAGS