Compare commits
19 commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
6ba2f134ae | ||
|
|
07fa95af7e | ||
|
|
d649febeaa | ||
|
|
f3ca480a07 | ||
|
|
eb6c4b6903 | ||
|
|
1f509a8542 | ||
|
|
fe8c751c9b | ||
|
|
e235899d44 | ||
|
|
9ca3bc5b84 | ||
|
|
70c4554175 | ||
|
|
b36297f3e8 | ||
|
|
dd7b014f63 | ||
|
|
31133dc27b | ||
|
|
3b25807479 | ||
|
|
9ee9c1a15c | ||
|
|
0dff4009cb | ||
|
|
0d930061ac | ||
|
|
ea1c69d342 | ||
|
|
48a33304c5 |
3 changed files with 72 additions and 27 deletions
11
README.md
Normal file
11
README.md
Normal file
|
|
@ -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.
|
||||||
|
|
@ -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')
|
|
||||||
80
azove.spec
80
azove.spec
|
|
@ -1,21 +1,24 @@
|
||||||
Name: azove
|
Name: azove
|
||||||
Version: 2.0
|
Version: 2.0
|
||||||
Release: 21%{?dist}
|
Release: 32%{?dist}
|
||||||
Summary: Another Zero-One Vertex Enumeration tool
|
Summary: Another Zero-One Vertex Enumeration tool
|
||||||
|
|
||||||
License: GPLv2+
|
License: GPL-2.0-or-later
|
||||||
URL: http://www.mpi-inf.mpg.de/~behle/azove.html
|
URL: https://people.mpi-inf.mpg.de/alumni/d1/2019/behle/azove.html
|
||||||
Source0: http://www.mpi-inf.mpg.de/~behle/%{name}-%{version}.tar.gz
|
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,
|
# 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.
|
# the copyright and license of the man page is the same as the sources.
|
||||||
Source1: %{name}2.1
|
Source1: %{name}2.1
|
||||||
# Sent upstream 2 Mar 2012: add an include that used to be implicit.
|
# 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
|
# Polymake patch to use static node allocation. Dynamic node allocation is
|
||||||
# unreliable on newer Linux kernels.
|
# 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
|
# 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: gcc-c++
|
||||||
BuildRequires: gmp-devel
|
BuildRequires: gmp-devel
|
||||||
|
|
@ -23,26 +26,26 @@ BuildRequires: make
|
||||||
|
|
||||||
%description
|
%description
|
||||||
Azove is a tool designed for counting (without explicit enumeration) and
|
Azove is a tool designed for counting (without explicit enumeration) and
|
||||||
enumeration of 0/1 vertices. Given a polytope by a linear relaxation or
|
enumeration of 0/1 vertices. Given a polytope by a linear relaxation or facet
|
||||||
facet description P = {x | Ax <= b}, all 0/1 points lying in P can be
|
description `P = {x | Ax <= b}`, all 0/1 points lying in P can be counted or
|
||||||
counted or enumerated. This is done by intersecting the polytope P with
|
enumerated. This is done by intersecting the polytope P with the
|
||||||
the unit-hypercube [0,1] d. The integral vertices (no fractional ones)
|
unit-hypercube `[0,1] d`. The integral vertices (no fractional ones) of this
|
||||||
of this intersection will be enumerated. If P is a 0/1 polytope, azove
|
intersection will be enumerated. If P is a 0/1 polytope, azove solves the
|
||||||
solves the vertex enumeration problem. In fact it can also solve the
|
vertex enumeration problem. In fact it can also solve the 0/1 knapsack
|
||||||
0/1 knapsack problem and the 0/1 subset sum problem.
|
problem and the 0/1 subset sum problem.
|
||||||
|
|
||||||
%prep
|
%prep
|
||||||
%autosetup -p0
|
%autosetup -p0
|
||||||
|
|
||||||
%build
|
%build
|
||||||
%make_build COMPILER_FLAGS="%{optflags} $RPM_LD_FLAGS"
|
%make_build COMPILER_FLAGS='%{build_cflags} %{build_ldflags}'
|
||||||
|
|
||||||
%install
|
%install
|
||||||
mkdir -p $RPM_BUILD_ROOT%{_bindir}
|
mkdir -p %{buildroot}%{_bindir}
|
||||||
install -m 0755 -p %{name}2 $RPM_BUILD_ROOT%{_bindir}
|
install -m 0755 -p %{name}2 %{buildroot}%{_bindir}
|
||||||
|
|
||||||
mkdir -p $RPM_BUILD_ROOT%{_mandir}/man1
|
mkdir -p %{buildroot}%{_mandir}/man1
|
||||||
install -m 0644 -p %{SOURCE1} $RPM_BUILD_ROOT%{_mandir}/man1
|
install -m 0644 -p %{SOURCE1} %{buildroot}%{_mandir}/man1
|
||||||
|
|
||||||
%files
|
%files
|
||||||
%doc INSTALL README
|
%doc INSTALL README
|
||||||
|
|
@ -51,6 +54,45 @@ install -m 0644 -p %{SOURCE1} $RPM_BUILD_ROOT%{_mandir}/man1
|
||||||
%{_mandir}/man1/%{name}2.1*
|
%{_mandir}/man1/%{name}2.1*
|
||||||
|
|
||||||
%changelog
|
%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
|
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-21
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue