Icon libisl23

Informations

  • Identifier libisl23
  • Added Date 29/04/2021 19:05
  • Free package
  • 0.00/5 (0 vote)

  • RepositoryProcursus
  • SectionLibraries
  • Version 0.23
  • Size 649.34 Kb
  • Installed-Size 1900
  • Depends libgmp10
  • Priority optional

Description

manipulating sets and relations of integer points bounded by linear constraints isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction. . This package contains the runtime library.


Version History

Packages are not hosted on our server, they could be protected or unavailable.

  • Download libisl23 version 0.2329/04/2021 19:05
    MD5 7d65ec561ea112311359403f1e9bab62
    SHA1 ee456fdf78ab74d24b405abde3d213faafabb1db
    SHA256 966c1ba28815394fb30fd824ac027a0f760930d65fe77b1db26de45801b98d00

Reviews and ratings