Skip to content
This repository has been archived by the owner on Sep 29, 2022. It is now read-only.

Commit

Permalink
isl: Add home, description, doc_url and dev_url
Browse files Browse the repository at this point in the history
  • Loading branch information
mingwandroid committed Jul 11, 2016
1 parent a517d87 commit d5361e9
Showing 1 changed file with 13 additions and 0 deletions.
13 changes: 13 additions & 0 deletions isl/meta.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -17,5 +17,18 @@ requirements:
- gmp

about:
home: http://isl.gforge.inria.fr/
license: MIT
license_family: MIT
summary: "isl is a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints."
description: |
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.
doc_url: http://isl.gforge.inria.fr/user.html
dev_url: http://repo.or.cz/w/isl.git

0 comments on commit d5361e9

Please sign in to comment.