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