7
I Use This!
Moderate Activity
Analyzed about 11 hours ago. based on code collected about 11 hours 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

Commercial Use

Modify

Distribute

Sub-License

Private Use

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
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    data presented on the Open Hub is available through our API

Languages

Languages?height=75&width=75
C
90%
8 Other
10%

30 Day Summary

Jan 21 2018 — Feb 20 2018

12 Month Summary

Feb 20 2017 — Feb 20 2018
  • 412 Commits
    Down -700 (62%) from previous 12 months
  • 9 Contributors
    Up + 3 (50%) from previous 12 months