]> CRI, Mines Paris - PSL - linpy.git/history - doc/_static
projects / linpy.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument
[linpy.git] / doc / _static /
2014-06-25 Vivien MaisonneuveDocumentation directory tree | commitdiff
A polyhedral library based on ISL