]> CRI, Mines Paris - PSL - linpy.git/blobdiff - linpy/__init__.py
LinExpr() accepts rational numbers
[linpy.git] / linpy / __init__.py
index 2012cb139fd8646252a2f2345ca517ff6eec408f..bbe5693e8e8c89ad944f14ccde775de5af5bb35d 100644 (file)
 # along with LinPy.  If not, see <http://www.gnu.org/licenses/>.
 
 """
-A polyhedral library based on ISL
+A polyhedral library based on isl
 """
 
 from .geometry import GeometricObject, Point, Vector
 from .linexprs import LinExpr, Symbol, symbols, Dummy, Rational
 from .polyhedra import Polyhedron, Lt, Le, Eq, Ne, Ge, Gt, Ne, Empty, Universe
 from .domains import Domain, And, Or, Not
+from ._version import __version__
 
 
 __all__ = [
@@ -30,4 +31,5 @@ __all__ = [
     'GeometricObject', 'Point', 'Vector',
     'Polyhedron', 'Lt', 'Le', 'Eq', 'Ne', 'Ge', 'Gt', 'Empty', 'Universe',
     'Domain', 'And', 'Or', 'Not',
+    '__version__',
 ]