Remove Arch Linux installation of isl in the doc
[linpy.git] / linpy / __init__.py
index 2012cb1..bbe5693 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__',
 ]