Репозиторій Sisyphus
Останнє оновлення: 2018-08-21 17:08:44 +0400 | Пакетів: 18643 | Sign in or Sign up
en ru uk br
ALT Linux repositories
згорнути вікно
Sisyphus: 2.5.1-alt3
p8: 2.5.1-alt2

Групa :: Науки/Математика
Source RPM: cudd

 Головна   Зміни   Спек   Patches   Sources   Завантажити   Gear   Bugs and FR (0/0)   Repocop 

Поточна версія: 2.5.1-alt3
Built: 9 дня назад
Розмір архіва: 636,0 кБ
Repocop status: ok

Домашня сторінка:   http://vlsi.colorado.edu/~fabio/CUDD/

Ліцензія: BSD
Про пакет: CUDD: Colorado University Decision Diagram Package
Опис:

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.

Поточний майнтейнер: Vladislav Zavjalov

List of contributors: ACL: Перелік rpm-пакетів, що надаються цим srpm-пакетом:
  • cudd
  • cudd-debuginfo
  • libcudd
  • libcudd-debuginfo
  • libcudd-devel
  • libcudd-devel-docs
Recent changes (last three changelog entries):

2018-08-12 Vladislav Zavjalov <slazav at altlinux.org> 2.5.1-alt3

    - fix aarch64 build (do not use -malign-double compiler flag)

2015-03-16 Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 2.5.1-alt2

    - Added all symbols from libutil.a into libmtr.so

2015-03-16 Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 2.5.1-alt1

    - Initial build for Sisyphus

 
© 2009–2018 Ігор Зубков