|
Jerry James |
f8172dc |
Name: azove
|
|
Jerry James |
f8172dc |
Version: 2.0
|
|
|
2eecc64 |
Release: 15%{?dist}
|
|
Jerry James |
f8172dc |
Summary: Another Zero-One Vertex Enumeration tool
|
|
Jerry James |
f8172dc |
|
|
Jerry James |
f8172dc |
License: GPLv2+
|
|
Jerry James |
f8172dc |
URL: http://www.mpi-inf.mpg.de/~behle/azove.html
|
|
Jerry James |
f8172dc |
Source0: http://www.mpi-inf.mpg.de/~behle/%{name}-%{version}.tar.gz
|
|
Jerry James |
f8172dc |
# Man page written by Jerry James from text found in the sources. Therefore,
|
|
Jerry James |
f8172dc |
# the copyright and license of the man page is the same as the sources.
|
|
Jerry James |
f8172dc |
Source1: %{name}2.1
|
|
Jerry James |
f8172dc |
# Sent upstream 2 Mar 2012: add an include that used to be implicit.
|
|
Jerry James |
f8172dc |
Patch0: %{name}-include.patch
|
|
Jerry James |
f8172dc |
|
|
|
3b791c8 |
BuildRequires: gcc-c++
|
|
Jerry James |
f8172dc |
BuildRequires: gmp-devel
|
|
Jerry James |
f8172dc |
|
|
Jerry James |
f8172dc |
%description
|
|
Jerry James |
f8172dc |
Azove is a tool designed for counting (without explicit enumeration) and
|
|
Jerry James |
f8172dc |
enumeration of 0/1 vertices. Given a polytope by a linear relaxation or
|
|
Jerry James |
f8172dc |
facet description P = {x | Ax <= b}, all 0/1 points lying in P can be
|
|
Jerry James |
f8172dc |
counted or enumerated. This is done by intersecting the polytope P with
|
|
Jerry James |
f8172dc |
the unit-hypercube [0,1] d. The integral vertices (no fractional ones)
|
|
Jerry James |
f8172dc |
of this intersection will be enumerated. If P is a 0/1 polytope, azove
|
|
Jerry James |
f8172dc |
solves the vertex enumeration problem. In fact it can also solve the
|
|
Jerry James |
f8172dc |
0/1 knapsack problem and the 0/1 subset sum problem.
|
|
Jerry James |
f8172dc |
|
|
Jerry James |
f8172dc |
%prep
|
|
Jerry James |
f8172dc |
%setup -q
|
|
Jerry James |
f8172dc |
%patch0
|
|
Jerry James |
f8172dc |
|
|
Jerry James |
f8172dc |
%build
|
|
Jerry James |
f8172dc |
make %{?_smp_mflags} COMPILER_FLAGS="$RPM_OPT_FLAGS"
|
|
Jerry James |
f8172dc |
|
|
Jerry James |
f8172dc |
%install
|
|
Jerry James |
f8172dc |
mkdir -p $RPM_BUILD_ROOT%{_bindir}
|
|
Jerry James |
f8172dc |
install -m 0755 -p %{name}2 $RPM_BUILD_ROOT%{_bindir}
|
|
Jerry James |
f8172dc |
|
|
Jerry James |
f8172dc |
mkdir -p $RPM_BUILD_ROOT%{_mandir}/man1
|
|
Jerry James |
f8172dc |
install -m 0644 -p %{SOURCE1} $RPM_BUILD_ROOT%{_mandir}/man1
|
|
Jerry James |
f8172dc |
|
|
Jerry James |
f8172dc |
%files
|
|
Jerry James |
f1f77fb |
%doc INSTALL README
|
|
Jerry James |
f1f77fb |
%license COPYING
|
|
Jerry James |
f8172dc |
%{_bindir}/%{name}2
|
|
Jerry James |
f8172dc |
%{_mandir}/man1/%{name}2.1*
|
|
Jerry James |
f8172dc |
|
|
Jerry James |
f8172dc |
%changelog
|
|
|
2eecc64 |
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-15
|
|
|
2eecc64 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
|
|
2eecc64 |
|
|
|
83cdc3f |
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-14
|
|
|
83cdc3f |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
|
83cdc3f |
|
|
|
3176a3b |
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-13
|
|
|
3176a3b |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
|
|
3176a3b |
|
|
|
6b2ce43 |
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-12
|
|
|
6b2ce43 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
|
|
6b2ce43 |
|
|
|
86815fd |
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-11
|
|
|
86815fd |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
|
|
86815fd |
|
|
|
f03c552 |
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-10
|
|
|
f03c552 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
|
|
f03c552 |
|
|
|
a803f69 |
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.0-9
|
|
|
a803f69 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
|
|
a803f69 |
|
|
|
9846f72 |
* Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 2.0-8
|
|
|
9846f72 |
- Rebuilt for GCC 5 C++11 ABI change
|
|
|
9846f72 |
|
|
Jerry James |
f1f77fb |
* Wed Feb 11 2015 Jerry James <loganjerry@gmail.com> - 2.0-7
|
|
Jerry James |
f1f77fb |
- Use license macro
|
|
Jerry James |
f1f77fb |
|
|
|
608050d |
* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.0-6
|
|
|
608050d |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
|
|
608050d |
|
|
|
61d9b78 |
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.0-5
|
|
|
61d9b78 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
|
|
61d9b78 |
|
|
|
577dd1b |
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.0-4
|
|
|
577dd1b |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
|
|
|
577dd1b |
|
|
|
9d2209a |
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.0-3
|
|
|
9d2209a |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
|
|
9d2209a |
|
|
Jerry James |
f8172dc |
* Fri Aug 3 2012 Jerry James <loganjerry@gmail.com> - 2.0-2
|
|
Jerry James |
f8172dc |
- Fix permissions on installed files
|
|
Jerry James |
f8172dc |
|
|
Jerry James |
f8172dc |
* Fri Mar 2 2012 Jerry James <loganjerry@gmail.com> - 2.0-1
|
|
Jerry James |
f8172dc |
- Initial RPM
|