# 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__ = [
'GeometricObject', 'Point', 'Vector',
'Polyhedron', 'Lt', 'Le', 'Eq', 'Ne', 'Ge', 'Gt', 'Empty', 'Universe',
'Domain', 'And', 'Or', 'Not',
+ '__version__',
]