Репозиторий Sisyphus
Последнее обновление: 17 октября 2019 | Пакетов: 17500 | Посещений: 15286197
en ru br
Репозитории ALT

Группа :: Науки/Математика
Пакет: cudd

 Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 

Name: cudd
Version: 2.5.1
Release: alt3
Summary: CUDD: Colorado University Decision Diagram Package
License: BSD
Group: Sciences/Mathematics
Url: http://vlsi.colorado.edu/~fabio/CUDD/
Source: %name-%version.tar
Requires: lib%name = %EVR

BuildRequires(pre): rpm-macros-make
BuildPreReq: gcc-c++ libstdc++-devel

%description
The CUDD package provides functions to manipulate Binary Decision
Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed
Binary Decision Diagrams (ZDDs). BDDs are used to represent switching
functions; ADDs are used to represent function from {0,1}^n to an
arbitrary set. ZDDs represent switching functions like BDDs; however,
they are much more efficient than BDDs when the functions to be
represented are characteristic functions of cube sets, or in general,
when the ON-set of the function to be represented is very sparse. They
are inferior to BDDs in other cases.

The package provides a large set of operations on BDDs, ADDs, and ZDDs,
functions to convert BDDs into ADDs or ZDDs and vice versa, and a large
assortment of variable reordering methods.

%package -n lib%name
Summary: Shared libraries of %name
Group: System/Libraries

%description -n lib%name
The CUDD package provides functions to manipulate Binary Decision
Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed
Binary Decision Diagrams (ZDDs). BDDs are used to represent switching
functions; ADDs are used to represent function from {0,1}^n to an
arbitrary set. ZDDs represent switching functions like BDDs; however,
they are much more efficient than BDDs when the functions to be
represented are characteristic functions of cube sets, or in general,
when the ON-set of the function to be represented is very sparse. They
are inferior to BDDs in other cases.

The package provides a large set of operations on BDDs, ADDs, and ZDDs,
functions to convert BDDs into ADDs or ZDDs and vice versa, and a large
assortment of variable reordering methods.

This package contains shared libraries of %name.

%package -n lib%name-devel
Summary: Development files of %name
Group: Development/C
Requires: lib%name = %EVR

%description -n lib%name-devel
The CUDD package provides functions to manipulate Binary Decision
Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed
Binary Decision Diagrams (ZDDs). BDDs are used to represent switching
functions; ADDs are used to represent function from {0,1}^n to an
arbitrary set. ZDDs represent switching functions like BDDs; however,
they are much more efficient than BDDs when the functions to be
represented are characteristic functions of cube sets, or in general,
when the ON-set of the function to be represented is very sparse. They
are inferior to BDDs in other cases.

The package provides a large set of operations on BDDs, ADDs, and ZDDs,
functions to convert BDDs into ADDs or ZDDs and vice versa, and a large
assortment of variable reordering methods.

This package contains development files of %name.

%package -n lib%name-devel-docs
Summary: Development documentation for %name
Group: Development/Documentation
BuildArch: noarch

%description -n lib%name-devel-docs
The CUDD package provides functions to manipulate Binary Decision
Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed
Binary Decision Diagrams (ZDDs). BDDs are used to represent switching
functions; ADDs are used to represent function from {0,1}^n to an
arbitrary set. ZDDs represent switching functions like BDDs; however,
they are much more efficient than BDDs when the functions to be
represented are characteristic functions of cube sets, or in general,
when the ON-set of the function to be represented is very sparse. They
are inferior to BDDs in other cases.

The package provides a large set of operations on BDDs, ADDs, and ZDDs,
functions to convert BDDs into ADDs or ZDDs and vice versa, and a large
assortment of variable reordering methods.

This package contains development documentation for %name.

%prep
%setup

%ifarch x86_64
sed -i 's|# at x86_64 at ||' Makefile
%endif
%ifarch i586
sed -i 's|# at i586 at ||' Makefile
%endif
%ifarch aarch64
sed -i 's|# at aarch64 at ||' Makefile
%endif

%build
%add_optflags %optflags_shared
%make_build_ext build
%make_build_ext nanotrav
%make_build_ext -C mnemosyne

%install
install -d %buildroot{%_bindir,%_includedir/%name,%_libdir,%_man1dir}
install -m755 nanotrav/nanotrav %buildroot%_bindir/
install -m755 nanotrav/nanotrav.1 %buildroot%_man1dir/
install -m644 include/* %buildroot%_includedir/%name/
cp -P */*.so* %buildroot%_libdir/

ln -s %name/doc %name.doc
ln -s dddmp/RELEASE_NOTES RELEASE_NOTES.dddmp
ln -s dddmp/doc dddmp.doc
ln -s mnemosyne/README README.mnemosyne
ln -s mtr/doc mtr.doc
ln -s nanotrav/README nanotrav.README
ln -s nanotrav/doc nanotrav.html
ln -s st/doc st.doc

%files
%doc README RELEASE.NOTES nanotrav.README nanotrav.html
%_bindir/*
%_man1dir/*

%files -n lib%name
%doc dddmp/README.dddmp RELEASE_NOTES.* README.*
%_libdir/*.so.*

%files -n lib%name-devel
%_includedir/*
%_libdir/*.so

%files -n lib%name-devel-docs
%doc *.doc

%changelog

Полный changelog можно просмотреть здесь

 
дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
текущий майнтейнер: Michael Shigorin