451d7f18974be7a56a2831378336caa314456d70
[linpy.git] / pypol / __init__.py
1 """
2 A polyhedral library based on ISL.
3 """
4
5 from .linear import Polyhedron, Constant, Symbol, symbols
6 from .linear import eq, le, lt, ge, gt
7 from .linear import Empty, Universe
8
9
10 __all__ = [
11 'Polyhedron', 'Constant', 'Symbol', 'symbols',
12 'eq', 'le', 'lt', 'ge', 'gt',
13 'Empty', 'Universe'
14 ]