Пакунок: libppl-c4 (1:1.2-8.1 and others)

[ Source: ppl  ]

Бібліотека багатогранників Парма (C-інтерфейс)

Бібліотека багатогранників Парма (PPL) — це бібліотека на Сі++ для маніпуляцій (не обов’язково закритих) для опуклих багатогранників та інших чисельних абстракцій. Програма опуклих багатогранників включає програму аналізу, оптимізованої компіляції оптимізація цілими й комбінаторними. Бібліотека багатогранників Парма — дружна до користувачів (Ви пишіть "х2*5 *YZ<7“, коли Ви маєте на увазі його), повністю динамічна (доступна віртуальна пам’ять є єдиним обмеженням для вимірювання будь-чого), написана на стандартному Сі, безпечна щодо багатопотоковості, досить ефективно й ретельно документована.

Цей пакунок надає інтерфейс на Сі.

Tags: Role: Shared Library

Інші пакунки пов'язані з libppl-c4

• dep: libc6 (>= 2.27)

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  Допоміжна бібліотека GCC

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Арифметична бібліотека багатоточності

• dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)

  Бібліотека арифметичних дій з довільною точністю (прив’язка до Сі++)

• dep: libppl14 (= 1:1.2-8.1+b3)

  Бібліотека багатогранників Parma (виконавча бібліотека)

• dep: libstdc++6 (>= 13.1)

  Стандартна бібліотека C++ GNU, версії 3

Завантажити libppl-c4

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
riscv64	1:1.2-8.1+b3	1,194.3 kB	3,587.0 kB	[список файлів]