Library for manipulating integer points bounded by affine constraints (source files)

isl is a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints. The descriptions of the sets and relations may involve both parameters and existentially quantified variables. All computations are performed in exact integer arithmetic using GMP.

Название

isl_source

Репозиорий

HaikuPorts

Источник репозитория

haikuports_x86_64

Версия

0.25-1

Скачиваемый объем

2.8 MB

Исходный код доступен

Нет

Категории

Нет

Просмотров версии

1