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