Compare commits
No commits in common. "rawhide" and "f34" have entirely different histories.
3 changed files with 27 additions and 72 deletions
11
README.md
11
README.md
|
|
@ -1,11 +0,0 @@
|
|||
# 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.
|
||||
8
azove.rpmlintrc
Normal file
8
azove.rpmlintrc
Normal file
|
|
@ -0,0 +1,8 @@
|
|||
# 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')
|
||||
80
azove.spec
80
azove.spec
|
|
@ -1,24 +1,21 @@
|
|||
Name: azove
|
||||
Version: 2.0
|
||||
Release: 32%{?dist}
|
||||
Release: 21%{?dist}
|
||||
Summary: Another Zero-One Vertex Enumeration tool
|
||||
|
||||
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
|
||||
License: GPLv2+
|
||||
URL: http://www.mpi-inf.mpg.de/~behle/azove.html
|
||||
Source0: http://www.mpi-inf.mpg.de/~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.
|
||||
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,26 +23,26 @@ 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='%{build_cflags} %{build_ldflags}'
|
||||
%make_build COMPILER_FLAGS="%{optflags} $RPM_LD_FLAGS"
|
||||
|
||||
%install
|
||||
mkdir -p %{buildroot}%{_bindir}
|
||||
install -m 0755 -p %{name}2 %{buildroot}%{_bindir}
|
||||
mkdir -p $RPM_BUILD_ROOT%{_bindir}
|
||||
install -m 0755 -p %{name}2 $RPM_BUILD_ROOT%{_bindir}
|
||||
|
||||
mkdir -p %{buildroot}%{_mandir}/man1
|
||||
install -m 0644 -p %{SOURCE1} %{buildroot}%{_mandir}/man1
|
||||
mkdir -p $RPM_BUILD_ROOT%{_mandir}/man1
|
||||
install -m 0644 -p %{SOURCE1} $RPM_BUILD_ROOT%{_mandir}/man1
|
||||
|
||||
%files
|
||||
%doc INSTALL README
|
||||
|
|
@ -54,45 +51,6 @@ install -m 0644 -p %{SOURCE1} %{buildroot}%{_mandir}/man1
|
|||
%{_mandir}/man1/%{name}2.1*
|
||||
|
||||
%changelog
|
||||
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-32
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
|
||||
|
||||
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-31
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
|
||||
|
||||
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-30
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
|
||||
|
||||
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-29
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
|
||||
|
||||
* Tue Jan 23 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-28
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
|
||||
|
||||
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-27
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
|
||||
|
||||
* Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 2.0-26
|
||||
- Stop building for 32-bit x86
|
||||
|
||||
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-26
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
||||
|
||||
* Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-25
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
||||
|
||||
* Thu Aug 11 2022 Jerry James <loganjerry@gmail.com> - 2.0-24
|
||||
- Convert License tag to SPDX
|
||||
|
||||
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-24
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
||||
|
||||
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-23
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
||||
|
||||
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-22
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
||||
|
||||
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-21
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue