10
I Use This!
Very High Activity
Analyzed 15 minutes ago. based on code collected 15 minutes ago.

Project Summary

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, computing the lexicographic
minimum using parametric integer programming, coalescing and
parametric vertex enumeration. It also includes an ILP
solver based on generalized basis reduction, transitive closures
on maps (which may encode infinite graphs), dependence analysis and
bounds on piecewise step-polynomials.

Tags

c library math polyhedra

In a Nutshell, Integer Set Library...

MIT License
Permitted

Sub-License

Private Use

Commercial Use

Modify

Distribute

Forbidden

Hold Liable

Required

Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    check out hot projects on the Open Hub
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    data presented on the Open Hub is available through our API

Languages

Languages?height=75&width=75
C
89%
8 Other
11%

30 Day Summary

Aug 26 2018 — Sep 25 2018

12 Month Summary

Sep 25 2017 — Sep 25 2018
  • 718 Commits
    Down -68 (8%) from previous 12 months
  • 3 Contributors
    Down -7 (70%) from previous 12 months